Login / Signup
AI-Techniques in Proof Planning.
Erica Melis
Published in:
ECAI (1998)
Keyphrases
</>
proof planning
concept formation
theorem proving
building intelligent
artificial intelligence
knowledge representation
expert systems
fuzzy logic
intelligent systems
theorem prover
proof search
first order logic
knowledge base
cooperative