Login / Signup
Non-Trivial Symbolic Computations in Proof Planning.
Volker Sorge
Published in:
FroCoS (2000)
Keyphrases
</>
proof planning
concept formation
theorem proving
building intelligent
theorem prover
high level
proof search
multi agent
domain knowledge
knowledge representation
information extraction
intelligent agents
dynamical systems
meta reasoning