Login / Signup
A Model Generation Based Theorem Prover MGTP for First-Order Logic.
Ryuzo Hasegawa
Hiroshi Fujita
Miyuki Koshimura
Yasuyuki Shirai
Published in:
Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
</>
theorem prover
first order logic
expressive power
theorem proving
automated reasoning
inference rules
knowledge representation
propositional logic
term rewriting
inductive logic programming
markov networks
probabilistic reasoning
representation language
formal proof
probabilistic graphical models
formal semantics
transitive closure
horn clauses
markov logic networks
quantifier elimination
predicate calculus
logical formulas