activity
20042026
most citedPosition Paper: From Multi-Agent Pathfinding to Pipe Routing

4 citations · 4 across the 4 of their papers we have counts for

collaborators

5 papers

cs.AI2026

JRDB-AVR: An Active Visual Reasoning Benchmark for Embodied Agents in Real-World Environments

Zhixi Cai, Fucai Ke, Sukai Huang +4

In complex embodied visual reasoning scenarios, an agent often has only a limited field of view, and the evidence needed to answer a question may be distributed across time, viewpo…

cs.AI2026

MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning

Zhixi Cai, Fucai Ke, Kevin Leo +4

Recent vision-language models have strong perceptual ability but their implicit reasoning is hard to explain and easily generates hallucinations on complex queries. Compositional m…

cs.AI2019★ 4 cited

Position Paper: From Multi-Agent Pathfinding to Pipe Routing

Gleb Belov, Liron Cohen, Maria Garcia de la Banda +3

The 2D Multi-Agent Path Finding (MAPF) problem aims at finding collision-free paths for a number of agents, from a set of start locations to a set of goal positions in a known 2D e…

cs.PL2005

Improving PARMA Trailing

Tom Schrijvers, Maria Garcia de la Banda, Bart Demoen +1

Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM…

cs.PL2004

Checking modes of HAL programs

Maria Garcia de la Banda, Warwick Harvey, Kim Marriott +2

Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation…