Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023.
Published in: FCR@KI (2023)
Keyphrases
- conference on artificial intelligence
- advances in artificial intelligence
- knowledge representation and reasoning
- lecture notes
- workshop on artificial intelligence
- computer science
- logical reasoning
- association for artificial intelligence
- international conference
- formal models
- reasoning systems
- knowledge representation
- cognitive abilities
- book constitutes the refereed proceedings
- artificial intelligence
- international symposium
- knowledge base
- automated reasoning
- information retrieval
- papers are organized in topical sections
- cognitive processes
- description logics
- decision making
- selected papers
- incomplete information
- information processing
- naacl hlt
- evolutionary computation
- acm sigkdd
- databases