Keyword:Knowledge Representation and Reasoning

Publications
Commonsense Visual Sensemaking for Autonomous Driving: on Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics Jakob Suchan, Mehul Bhatt and Srikrishna Varadarajan EasyChair Preprint 4845
Positive Free Higher-Order Logic and its Automation via a Semantical Embedding Irina Makarenko and Christoph Benzmüller EasyChair Preprint 3621
Semantic Analysis of (Reflectional) Visual Symmetry: A Human-Centred Computational Model for Declarative Explainability Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan, Seyed Ali Amirshahi and Stella Yu EasyChair Preprint 227
AI-Based Tool for Curriculum-Based Course Timetabling at the University of Potsdam Christian Dohrmann, Ulrike Lucke, Torsten Schaub and Sebastian Schellhorn In:Proceedings of EUNIS 2024 annual congress in Athens
A Declarative Method for Dynamic Multi-Agent Path Finding Aysu Bogatarkan, Volkan Patoglu and Esra Erdem In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
An Algebra of Combined Constraint Solving Eugenia Ternovska In:GCAI 2015. Global Conference on Artificial Intelligence