research
∙
08/30/2023
Explanations for Answer Set Programming
The paper presents an enhancement of xASP, a system that generates expla...
share
research
∙
06/26/2023
DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions
We present DR-HAI – a novel argumentation-based framework designed to ex...
research
∙
05/24/2023
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
A plethora of approaches have been proposed for joint entity-relation (E...
research
∙
08/05/2022
On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?
The Model Reconciliation Problem (MRP) was introduced to address issues ...
research
∙
02/11/2022
Answer Set Planning: A Survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to...
research
∙
01/14/2022
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
This paper introduces a formal definition of a Cyber-Physical System (CP...
research
∙
09/17/2021
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
We present an enhancement of exp(ASP), a system that generates explanati...
research
∙
09/17/2021
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles
Multi-Agent Path Finding (MAPF) is a problem of finding a sequence of mo...
research
∙
08/13/2021
Planning with Incomplete Information in Quantified Answer Set Programming
We present a general approach to planning with incomplete information in...
research
∙
04/18/2021
Generating explanations for answer set programming applications
We present an explanation system for applications that leverage Answer S...
research
∙
11/17/2020
On the Relationship Between KR Approaches for Explainable Planning
In this paper, we build upon notions from knowledge representation and r...
research
∙
09/18/2019
Natural Language Generation for Non-Expert Users
Motivated by the difficulty in presenting computational results, especia...
research
∙
05/01/2018
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
Evolutionary Biologists have long struggled with the challenge of develo...
research
∙
04/26/2018
Experimenting with robotic intra-logistics domains
We introduce the asprilo [1] framework to facilitate experimental studie...
research
∙
05/10/2017
Solving Distributed Constraint Optimization Problems Using Logic Programming
This paper explores the use of Answer Set Programming (ASP) in solving D...
research
∙
11/06/2015
An Action Language for Multi-Agent Domains: Foundations
In multi-agent domains (MADs), an agent's action may not just change the...
research
∙
05/07/2014
Logic and Constraint Logic Programming for Distributed Constraint Optimization
The field of Distributed Constraint Optimization Problems (DCOPs) has ga...
research
∙
12/20/2013
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
Research on developing efficient and scalable ASP solvers can substantia...
research
∙
07/08/2002
