Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time.
Lifeng HeYuyan ChaoShohei KatoTetsuo ArakiHirohisa SekiHidenori ItohPublished in: DAI (1996)
Keyphrases
- automated reasoning
- knowledge representation
- multi agent
- commonsense knowledge
- theorem proving
- domain knowledge
- theorem prover
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- decision procedures
- multi agent systems
- reinforcement learning
- probabilistic reasoning
- reasoning systems
- search algorithm
- pairwise
- artificial neural networks
- data mining