14 citations · 80 across the 19 of their papers we have counts for
15 papers · 1 filter
Dialectical Reconciliation via Structured Argumentative Dialogues
Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh +2
We present a novel framework designed to extend model reconciliation approaches, commonly used in human-aware planning, for enhanced human-AI interaction. By adopting a structured…
Answer Set Planning: A Survey
Tran Cao Son, Enrico Pontelli, Marcello Balduccini +1
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another s…
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…
On the Relationship Between KR Approaches for Explainable Planning
Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son
In this paper, we build upon notions from knowledge representation and reasoning (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation prob…
Natural Language Generation for Non-Expert Users
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
Motivated by the difficulty in presenting computational results, especially when the results are a collection of atoms in a logical language, to users, who are not proficient in co…
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
Evolutionary Biologists have long struggled with the challenge of developing analysis workflows in a flexible manner, thus facilitating the reuse of phylogenetic knowledge. An evol…