Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020.
Published in: FCR@KI (2020)
Keyphrases
- conference on artificial intelligence
- advances in artificial intelligence
- knowledge representation and reasoning
- association for artificial intelligence
- workshop on artificial intelligence
- logical reasoning
- international conference
- formal models
- reasoning systems
- lecture notes in artificial intelligence
- knowledge representation
- automated reasoning
- computer science
- artificial intelligence
- cognitive abilities
- knowledge base
- information retrieval
- information processing
- computer science education
- acm sigkdd