119 search results - page 3 / 24 » A First-Order Isomorphism Theorem |
62
Voted
FCT
2003
Springer
15 years 3 months ago
2003
Springer
AAAI
2004
14 years 11 months ago
2004
80
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
71
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
79
Voted
JSYML
2002
14 years 10 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...