Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.

Reinhold Letz Gernot Stenz

Published in: LPAR (2001)

Keyphrases

automated theorem proving
theorem proving
theorem prover
decision procedures
proof procedure
automated reasoning
modal logic
answer set programming
classical logic
first order logic
inference rules
mobile environments
functional dependencies
low bandwidth