Login / Signup
Complete Inference Rules for the Cancellation Laws.
Jieh Hsiang
Michaël Rusinowitch
Kô Sakai
Published in:
IJCAI (1987)
Keyphrases
</>
inference rules
set of inference rules
first order logic
modal logic
logic programming language
theorem proving
sequent calculus
logical framework
conditional probabilities
prior knowledge
truth values
probabilistic knowledge
natural deduction
theorem prover
horn clauses
feature selection