nanoCoP: A Non-clausal Connection Prover.

Published in: IJCAR (2016)

Keyphrases

theorem proving
theorem prover
decision procedures
automated theorem proving
constraint propagation
inductive logic programming
automated reasoning
defeasible logic
expert systems
first order logic
temporal resolution
relational databases
fuzzy logic