Structural Proof Theory as Rewriting.

José Espírito Santo Maria João Frade Luís Pinto

Published in: RTA (2006)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
conjunctive queries
query rewriting
natural language
expressive power