Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.

Johannes Oetsch Hans Tompits

Published in: LPNMR (2011)

Keyphrases

inference rules
classical logic
machine learning
expert systems
knowledge representation
state space
general purpose
expressive power
temporal reasoning
strong equivalence