Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo
Theories

v1v2 (latest)

Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

25 June 2016

ArXiv (abs)PDF HTML

Papers citing "Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories"

5 / 5 papers shown

Title
First-Order Stable Model Semantics with Intensional Functions M. Bartholomew Joohyung Lee LRM 18 8 0 15 Jul 2023
Neuro-Symbolic Spatio-Temporal Reasoning Pascal Hitzler Michael Sioutis Md Kamruzzaman Sarker Marjan Alirezaie Aaron Eberhart Stefan Wermter NAI 87 0 0 28 Nov 2022
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective Peter Baumgartner Daniel V. Smith Mashud Rana Reena Kapoor Elena Tartaglia A. Schutt Ashfaqur Rahman John Taylor S. Dunstall 77 4 0 04 Oct 2022
Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics Jakob Suchan M. Bhatt Srikrishna Varadarajan 63 30 0 28 Dec 2020
Deeply Semantic Inductive Spatio-Temporal Learning Jakob Suchan M. Bhatt C. Schultz NAI 31 10 0 09 Aug 2016