The paper presents an enhancement of xASP, a system that generates
expla...
We present DR-HAI – a novel argumentation-based framework designed to ex...
A plethora of approaches have been proposed for joint entity-relation (E...
The Model Reconciliation Problem (MRP) was introduced to address issues ...
Answer Set Planning refers to the use of Answer Set Programming (ASP) to...
This paper introduces a formal definition of a Cyber-Physical System (CP...
We present an enhancement of exp(ASP), a system that generates explanati...
Multi-Agent Path Finding (MAPF) is a problem of finding a sequence of
mo...
We present a general approach to planning with incomplete information in...
We present an explanation system for applications that leverage Answer S...
In this paper, we build upon notions from knowledge representation and
r...
Motivated by the difficulty in presenting computational results, especia...
Evolutionary Biologists have long struggled with the challenge of develo...
We introduce the asprilo [1] framework to facilitate experimental studie...
This paper explores the use of Answer Set Programming (ASP) in solving
D...
In multi-agent domains (MADs), an agent's action may not just change the...
The field of Distributed Constraint Optimization Problems (DCOPs) has ga...
Research on developing efficient and scalable ASP solvers can substantia...
In this paper we consider three different kinds of domain-dependent cont...