123 citations
- Cleveland State UniversityUS8 papers
- Emory UniversityUS3 papers
- New Mexico State UniversityUS3 papers
- Drexel UniversityUS2 papers
- University of PennsylvaniaUS2 papers
- Wayne State UniversityUS2 papers
- Abdus Salam Centre for PhysicsPK1 paper
- Bandung Institute of TechnologyID1 paper
- Bryn Mawr CollegeUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- City College of New YorkUS1 paper
- École Nationale de l’Aviation CivileFR1 paper
5 papers · 1 filter
Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son +1
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports differe…
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…
Generating explanations for answer set programming applications
Ly Ly Trieu, Tran Cao Son, Enrico Pontelli +1
We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system ge…
Action-Centered Information Retrieval
Marcello Balduccini, Emily LeBlanc
Information Retrieval (IR) aims at retrieving documents that are most relevant to a query provided by a user. Traditional techniques rely mostly on syntactic methods. In some cases…
CASP Solutions for Planning in Hybrid Domains
Marcello Balduccini, Daniele Magazzeni, Marco Maratea +1
CASP is an extension of ASP that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling m…