Proof-theoretic analysis of KPM.

Michael Rathjen

Published in: Arch. Math. Log. (1991)

Keyphrases

theoretic analysis
linear logic
theorem proving
automated theorem proving
theorem prover
geometry theorem proving
artificial intelligence
proof planning
logical rules
sequent calculus
proof theory
knowledge representation
hidden markov models
cooperative
database systems
case study
decision trees
decision making