Sign in
Set Theory in First-Order Logic: Clauses for Gödel's Axioms.
Robert S. Boyer
Ewing L. Lusk
William McCune
Ross A. Overbeek
Mark E. Stickel
Larry Wos
Published in:
J. Autom. Reason. (1986)
Keyphrases
</>
first order logic
set theory
valued logic
expressive power
propositional logic
theorem proving
inference rules
probabilistic reasoning
horn clauses
knowledge representation
inductive logic programming
theorem prover
transitive closure
markov logic networks
markov logic
partial order