Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019.
Published in: LaCATODA/BtG@IJCAI (2019)
Keyphrases
- automated reasoning
- knowledge discovery and data mining
- international conference
- multi agent systems
- artificial agents
- multi agent
- theorem prover
- reasoning systems
- computational models
- multiagent systems
- knowledge representation
- decision making
- theorem proving
- autonomous agents
- probabilistic reasoning
- international workshop
- information processing
- international symposium
- description logics
- high level