A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover.

Philippe Lamarre

Published in: KR (1992)

Keyphrases

theorem prover
theorem proving
first order logic
inference rules
automated reasoning
formal proof
automated theorem proving
automated deduction
term rewriting
formal semantics
natural deduction
boolean algebra
higher order logic
monotonicity constraints
computer algebra
proof planning
higher order