A Second-Order Theorem Prover Applied to Circumscription.

Published in: IJCAR (2001)

Keyphrases

theorem prover
theorem proving
term rewriting
inference rules
automated reasoning
automated theorem proving
first order logic
formal proof
boolean algebra
higher order logic
higher order
evolutionary algorithm
desirable properties
situation calculus
timed automata