138 search results - page 25 / 28 » An Unsupervised Approach for Semantic Relation Interpretatio... |
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
BIBE
2006
IEEE
15 years 3 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
73
Voted
IJCAI
1993
14 years 10 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...