Update by Means of Inference Rules.

Teodor C. Przymusinski Hudson Turner

Published in: LPNMR (1995)

Keyphrases

inference rules
first order logic
modal logic
theorem proving
logic programming language
theorem prover
horn clauses
set of inference rules
sequent calculus
logical framework
conditional probabilities
integrity constraints
active learning
lower bound
knowledge base
artificial intelligence
machine learning
databases