[HTML][HTML] Commonsense visual sensemaking for autonomous driving–On generalised neurosymbolic online abduction integrating vision and semantics

J Suchan, M Bhatt, S Varadarajan - Artificial Intelligence, 2021 - Elsevier
We demonstrate the need and potential of systematically integrated vision and semantics
solutions for visual sensemaking in the backdrop of autonomous driving. A general …

AUTO-DISCERN: autonomous driving using common sense reasoning

S Kothawade, V Khandelwal, K Basu, H Wang… - arxiv preprint arxiv …, 2021 - arxiv.org
Driving an automobile involves the tasks of observing surroundings, then making a driving
decision based on these observations (steer, brake, coast, etc.). In autonomous driving, all …

Out of sight but not out of mind: An answer set programming based online abduction framework for visual sensemaking in autonomous driving

J Suchan, M Bhatt, S Varadarajan - arxiv preprint arxiv:1906.00107, 2019 - arxiv.org
We demonstrate the need and potential of systematically integrated vision and semantics}
solutions for visual sensemaking (in the backdrop of autonomous driving). A general method …

A review on intelligent object perception methods combining knowledge-based reasoning and machine learning

F Gouidis, A Vassiliades, T Patkos, A Argyros… - arxiv preprint arxiv …, 2019 - arxiv.org
Object perception is a fundamental sub-field of Computer Vision, covering a multitude of
individual areas and having contributed high-impact results. While Machine Learning has …

ASP-based multi-shot reasoning via DLV2 with incremental grounding

F Calimeri, G Ianni, F Pacenza, S Perri… - Proceedings of the 24th …, 2022 - dl.acm.org
DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer
Set Programming (ASP)–a logic-based declarative formalism, successfully used in both …

Incremental maintenance of overgrounded logic programs with tailored simplifications

G Ianni, F Pacenza, J Zangari - Theory and Practice of Logic …, 2020 - cambridge.org
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such
as stream reasoning and event processing. When using answer set programming in such …

What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration

R Gomez, M Sridharan, H Riley - Annals of Mathematics and Artificial …, 2021 - Springer
The architecture described in this paper encodes a theory of intentions based on the key
principles of non-procrastination, persistence, and automatically limiting reasoning to …

[PDF][PDF] Event detection from video using answer set programming

A Khan, L Serafini, L Bozzato, B Lazzerini - CEUR WORKSHOP …, 2019 - ceur-ws.org
Understanding of the visual world is not limited to recognizing individual object instances,
but also extends to how those objects interact in the scene, which implies recognizing …

Towards digital twins for knowledge-driven construction progress and predictive safety analysis on a construction site

B Li, RO Nielsen, KW Johansen, J Teizer… - … Applications of Formal …, 2021 - Springer
Civil engineering has only recently started the digitalisation journey by standardising around
Building Information Models (BIMs). In the process of construction a dimension of time is …

[PDF][PDF] On robustness in qualitative constraint networks

M Sioutis, Z Long, T Janhunen - Proceedings of the Twenty-Ninth …, 2021 - ijcai.org
We introduce and study a notion of robustness in Qualitative Constraint Networks (QCNs),
which are typically used to represent and reason about abstract spatial and temporal …