NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cai, Zhixi, Cardenas, Cristian Rojas, Leo, Kevin, Zhang, Chenyuan, Backman, Kal, Li, Hanbing, Li, Boying, Ghorbanali, Mahsa, Datta, Stavya, Qu, Lizhen, Santiago, Julian Gutierrez, Ignatiev, Alexey, Li, Yuan-Fang, Vered, Mor, Stuckey, Peter J, de la Banda, Maria Garcia, Rezatofighi, Hamid
Format:	Preprint
Published:	2024
Subjects:	Robotics Artificial Intelligence Computer Vision and Pattern Recognition
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting
by: Li, Boying, et al.
Published: (2025)

NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
by: Cai, Zhixi, et al.
Published: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

Formal Explanations for Neuro-Symbolic AI
by: Paul, Sushmita, et al.
Published: (2024)

ARIS: Agentic and Relationship Intelligence System for Social Robots
by: Datta, Stavya, et al.
Published: (2026)

Probabilistic Active Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2025)

Hier-SLAM: Scaling-up Semantics in SLAM with a Hierarchically Categorical Gaussian Splatting
by: Li, Boying, et al.
Published: (2024)

Mini-BEHAVIOR-Gran: Revealing U-Shaped Effects of Instruction Granularity on Language-Guided Embodied Agents
by: Huang, Sukai, et al.
Published: (2026)

From Novice to Skilled: RL-based Shared Autonomy Communicating with Pilots in UAV Multi-Task Missions
by: Backman, Kal, et al.
Published: (2023)

MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning
by: Cai, Zhixi, et al.
Published: (2026)

A Formal Framework for the Explanation of Finite Automata Decisions
by: Granada, Jaime Cuartas, et al.
Published: (2026)

A Multi-Modal Neuro-Symbolic Approach for Spatial Reasoning-Based Visual Grounding in Robotics
by: Jahangard, Simindokht, et al.
Published: (2025)

JRDB-PanoTrack: An Open-world Panoptic Segmentation and Tracking Robotic Dataset in Crowded Human Environments
by: Le, Duy-Tho, et al.
Published: (2024)

Delivering Inflated Explanations
by: Izza, Yacine, et al.
Published: (2023)

JRDB-Social: A Multifaceted Robotic Dataset for Understanding of Context and Dynamics of Human Interactions Within Social Groups
by: Jahangard, Simindokht, et al.
Published: (2024)

Social-MAE: Social Masked Autoencoder for Multi-person Motion Representation Learning
by: Ehsanpour, Mahsa, et al.
Published: (2024)

VIEW2SPACE: Studying Multi-View Visual Reasoning from Sparse Observations
by: Ke, Fucai, et al.
Published: (2026)

CalibAnyView: Beyond Single-View Camera Calibration in the Wild
by: Li, Boying, et al.
Published: (2026)

JRDB-Reasoning: A Difficulty-Graded Benchmark for Visual Reasoning in Robotics
by: Jahangard, Simindokht, et al.
Published: (2025)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

A Simple State Space Model Excels at Multivariate Time Series Classification
by: Saadatmand, Hassan, et al.
Published: (2026)

Classifying Bicycle Infrastructure Using On-Bike Street-Level Images
by: Backman, Kal, et al.
Published: (2024)

Efficient & Correct Predictive Equivalence for Decision Trees
by: Marques-Silva, Joao, et al.
Published: (2025)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024)

HYDRA: A Hyper Agent for Dynamic Compositional Visual Reasoning
by: Ke, Fucai, et al.
Published: (2024)

CBS with Continuous-Time Revisit
by: Li, Andy, et al.
Published: (2025)

Geometric Dynamical Systems
by: Haghighatdoost, Ghorbanali
Published: (2025)

Optimal control problems on the co-adjoint Lie groupoids
by: Haghighatdoost, Ghorbanali
Published: (2024)

Poisson Hamiltonian Pontryagin Dynamics and Optimal Control of Mechanical Systems on Lie Groupoids
by: Haghighatdoost, Ghorbanali
Published: (2026)

Euler Poincare Dynamics and Control on Lie Groupoids
by: Haghighatdoost, Ghorbanali
Published: (2025)

Right invariant Poisson Nijenhuis structures on Lie groupoids Correspondence and Classification
by: Haghighatdoost, Ghorbanali
Published: (2024)

An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)

Neuro-Symbolic Temporal Point Processes
by: Yang, Yang, et al.
Published: (2024)

Testing Dependency of Weighted Random Graphs
by: Oren, Mor, et al.
Published: (2024)

Neuro-Symbolic Query Compiler
by: Zhang, Yuyao, et al.
Published: (2025)

A Learnability Analysis on Neuro-Symbolic Learning
by: He, Hao-Yuan, et al.
Published: (2025)

dinov3.seg: Open-Vocabulary Semantic Segmentation with DINOv3
by: Dutta, Saikat, et al.
Published: (2026)

JRDB-Pose3D: A Multi-person 3D Human Pose and Shape Estimation Dataset for Robotics
by: Biswas, Sandika, et al.
Published: (2026)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)