912 search results - page 122 / 183 » Abstract Saturation-Based Inference |
ECIR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
KDID
2004
15 years 1 months ago
2004
Abstract. Recently, different works proposed a new way to mine patterns in databases with pathological size. For example, experiments in genome biology usually provide databases wi...
WOB
2004
15 years 1 months ago
2004
ABSTRACT. We present the MOlecular NETwork (MONET) ontology as a model to integrate data from different networks that govern cell function. To achieve this, different existing onto...
ANLP
1997
15 years 1 months ago
1997
In this paper we report on a set of computational tools with (n)SGML pipeline data flow for uncovering internal structure in natural language texts. The main idea behind the workb...
106
click to vote
BIRTHDAY
2010
Springer
15 years 3 days ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...