Sound and Complete Inference Rules for SE-Consequence.

Published in: J. Artif. Intell. Res. (2008)

Keyphrases

inference rules
set of inference rules
first order logic
modal logic
theorem proving
logic programming language
theorem prover
logical framework
horn clauses
truth values
xml keys
natural deduction
machine learning
learning algorithm
binary relations