KI 2023: Advances in Artificial Intelligence

Search Information retrieval Neural networks Computer vision Natural language processing Recommender systems Knowledge representation and reasoning Knowledge Discovery and Data Mining Constraint Satisfaction Deep learning: Planning and scheduling agent-based and multi-agent systems and optimization diagnosis and configuration game playing and interactive entertainment knowledge engineering and ontologies Explainable AI neurosymbolic methods nonmonotonic reasoning and default logics integration and extraction interactive and automated theorem proving