3776 search results - page 399 / 756 » Partition-Based Logical Reasoning |
123
click to vote
ICLP
1994
Springer
15 years 9 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
117
click to vote
KGC
1993
Springer
15 years 9 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
149
click to vote
AAAI
2007
15 years 7 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
153
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...