A Truncation Technique for Clausal Analytic Tableaux.

Graham Wrightson Jo Coldwell

Published in: Inf. Process. Lett. (1992)

Keyphrases

decision procedures
theorem proving
modal logic
defeasible logic
inductive logic programming
constraint propagation
functional dependencies
real time
conjunctive queries
automated reasoning
data sets
databases
computer vision
prime implicates