2 citations · 5 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024★ 1 cited
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★ 2 cited
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…