research
∙
08/30/2023
Explanations for Answer Set Programming
The paper presents an enhancement of xASP, a system that generates expla...
share
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
∙
04/18/2021
Generating explanations for answer set programming applications
We present an explanation system for applications that leverage Answer S...
research
∙
03/23/2019
Action-Centered Information Retrieval
Information Retrieval (IR) aims at retrieving documents that are most re...
research
∙
04/26/2018
An ASP Methodology for Understanding Narratives about Stereotypical Activities
We describe an application of Answer Set Programming to the understandin...
research
∙
03/20/2018
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
It has been challenging for the technical and regulatory communities to ...
research
∙
04/12/2017
CASP Solutions for Planning in Hybrid Domains
CASP is an extension of ASP that allows for numerical constraints to be ...
research
∙
02/14/2017
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter
Researchers in answer set programming and constraint programming have sp...
research
∙
08/31/2016
PDDL+ Planning via Constraint Answer Set Programming
PDDL+ is an extension of PDDL that enables modelling planning domains wi...
research
∙
05/21/2014
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)
Traditional AI reasoning techniques have been used successfully in many ...
research
∙
05/06/2014
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report
Traditional AI reasoning techniques have been used successfully in many ...
research
∙
12/20/2013
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration
Recently, researchers in answer set programming and constraint programmi...
research
∙
01/08/2013
Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules
In this paper we continue the work on our extension of Answer Set Progra...
research
∙
02/10/2011