Proof by Consistency.

Deepak Kapur David R. Musser

Published in: Artif. Intell. (1987)

Keyphrases

set intersection
theorem proving
theorem prover
constraint networks
path consistency
consistency checking
linear logic
geometry theorem proving
decision making
mathematical proofs
proof planning
proof search
logic programs
relational databases
data structure
case study
knowledge base