External Rewriting for Skeptical Proof Assistants.

Quang Huy Nguyen Claude Kirchner Hélène Kirchner

Published in: J. Autom. Reason. (2002)

Keyphrases

presburger arithmetic
default reasoning
theorem proving
rewrite rules
internal and external
intelligent agents
quantifier elimination
query rewriting
proof theory
interactive theorem proving
default logic
theorem prover
conjunctive queries
rewriting rules
belief revision
rewriting systems
knowledge base
data sets