Agent-Based HOL Reasoning.
Alexander SteenMax WisniewskiChristoph BenzmüllerPublished in: ICMS (2016)
Keyphrases
- knowledge base
- meta level
- multi agent systems
- automated reasoning
- multi agent
- analogical reasoning
- knowledge representation
- theorem prover
- reasoning process
- reasoning tasks
- agent technology
- logical reasoning
- logical framework
- formal methods
- spatial reasoning
- real time
- theorem proving
- intelligent agents
- bayesian networks
- neural network