3 papers
cs.AI2026
A Formal Framework for the Explanation of Finite Automata Decisions
Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey
Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering…
cs.AI2024
Formal Explanations for Neuro-Symbolic AI
Sushmita Paul, Jinqiang Yu, Jip J. Dekker +2
Despite the practical success of Artificial Intelligence (AI), current neural AI algorithms face two significant issues. First, the decisions made by neural architectures are often…
cs.RO2024
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo +14
This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in…