Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022.
Published in: FCR@KI (2022)
Keyphrases
- conference on artificial intelligence
- advances in artificial intelligence
- knowledge representation and reasoning
- logical reasoning
- workshop on artificial intelligence
- association for artificial intelligence
- international conference
- formal models
- reasoning systems
- cognitive abilities
- knowledge representation
- book constitutes the refereed proceedings
- information processing
- artificial intelligence
- papers are organized in topical sections
- computer science
- automated reasoning
- description logics
- knowledge base
- incomplete information
- logic programming
- decision making
- cognitive architecture