Modular Reasoning in Isabelle.

Florian Kammüller

Published in: CADE (2000)

Keyphrases

knowledge base
derivation rules
theorem prover
spatial reasoning
knowledge representation
automated reasoning
reasoning tasks
modular neural networks
legal reasoning
default reasoning
reasoning process
neural network
consistency checking
reasoning problems
rule based reasoning
proof theory
genetic algorithm