Sciweavers

Share
2 search results - page 1 / 1
» Extraction of Genic Interactions with the Recursive Logical ...
Sort
View
CICLING
2010
Springer
12 years 4 months ago
Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
Alain-Pierre Manine, Érick Alphonse, Philip...
CSL
2010
Springer
12 years 21 days ago
From Feasible Proofs to Feasible Computations
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
Jan Krajícek
books