Keyword:Knowledge Representation and Reasoning

Papers
Commonsense Visual Sensemaking for Autonomous Driving: on Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics Jakob Suchan, Mehul Bhatt and Srikrishna Varadarajan EasyChair Preprint no. 4845
Positive Free Higher-Order Logic and its Automation via a Semantical Embedding Irina Makarenko and Christoph Benzmüller EasyChair Preprint no. 3621
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
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 no. 227
An Algebra of Combined Constraint Solving Eugenia Ternovska In:GCAI 2015. Global Conference on Artificial Intelligence