Update by Means of Inference Rules.

Teodor C. Przymusinski Hudson Turner

Published in: J. Log. Program. (1997)

Keyphrases

inference rules
theorem proving
modal logic
logic programming language
theorem prover
first order logic
sequent calculus
logical framework
horn clauses
binary relations
conditional probabilities
databases
search space
pairwise
expert systems
decision trees
knowledge base
feature selection
artificial intelligence