14 citations · 80 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 5 cited
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
Ly Ly Trieu, Tran Cao Son, Marcello Balduccini
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal l - an atom a or its default negation ~a - given an answer set A of a normal logic p…
cs.MA2021★ 7 cited
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles
Poom Pianpak, Tran Cao Son
Multi-Agent Path Finding (MAPF) is a problem of finding a sequence of movements for agents to reach their assigned location without collision. Centralized algorithms usually give o…