Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021.
Published in: FCR@KI (2021)
Keyphrases
- conference on artificial intelligence
- knowledge representation and reasoning
- advances in artificial intelligence
- workshop on artificial intelligence
- logical reasoning
- association for artificial intelligence
- formal models
- reasoning systems
- international conference
- book constitutes the refereed proceedings
- knowledge representation
- information processing
- artificial intelligence
- knowledge base
- automated reasoning
- invited talk
- cognitive abilities
- cognitive processes
- description logics
- decision making
- lecture notes in artificial intelligence
- papers are organized in topical sections
- cognitive science
- logic programming
- expert systems
- legal reasoning
- machine learning
- naacl hlt