Many-Sorted Logic in a Learning Theorem Prover.

Thomas Kolbe Sabine Glesner

Published in: KI (1997)

Keyphrases

theorem prover
online learning
learning algorithm
learning tasks
formal semantics
automated theorem proving
learning process
learning systems
automated reasoning
data mining
e learning
reinforcement learning
first order logic
propositional logic
formal proof