Circumscription by Inference Rules with Priority.

Xianchang Wang Jia-Huai You Li-Yan Yuan

Published in: ECAI (1996)

Keyphrases

inference rules
theorem prover
modal logic
first order logic
theorem proving
default logic
situation calculus
classical logic
logical framework
logic programming
truth values
horn clauses
answer sets
logic programming language
default reasoning
training data
natural deduction
set of inference rules