research
∙
03/15/2023
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach
A core part of the rehabilitation scheduling process consists of plannin...
share
research
∙
03/02/2022
On the Configuration of More and Less Expressive Logic Programs
The decoupling between the representation of a certain problem, i.e., it...
research
∙
08/05/2021
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
The problem of scheduling chemotherapy treatments in oncology clinics is...
research
∙
05/05/2021
Operating Room (Re)Scheduling with Bed Management via ASP
The Operating Room Scheduling (ORS) problem is the task of assigning pat...
research
∙
11/13/2020
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity
This paper addresses two intertwined needs for collaborative robots oper...
research
∙
10/02/2020
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
The manipulation of articulated objects is of primary importance in Robo...
research
∙
09/19/2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
09/02/2019
Design and Results of the Second International Competition on Computational Models of Argumentation
Argumentation is a major topic in the study of Artificial Intelligence. ...
research
∙
07/22/2019
Abstract Solvers for Computing Cautious Consequences of ASP programs
Abstract solvers are a method to formally analyze algorithms that have b...
research
∙
04/19/2019
The Seventh Answer Set Programming Competition: Design and Results
Answer Set Programming (ASP) is a prominent knowledge representation lan...
research
∙
04/23/2018
Shared aggregate sets in answer set programming
Aggregates are among the most frequently used linguistic extensions of a...
research
∙
04/23/2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Answer Set Programming (ASP) is a logic-based knowledge representation f...
research
∙
01/05/2018
On the manipulation of articulated objects in human-robot cooperation scenarios
Articulated and flexible objects constitute a challenge for robot manipu...
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
∙
08/31/2016
PDDL+ Planning via Constraint Answer Set Programming
PDDL+ is an extension of PDDL that enables modelling planning domains wi...
research
∙
10/06/2015
Disjunctive Answer Set Solvers via Templates
Answer set programming is a declarative programming paradigm oriented to...
research
∙
05/14/2014
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarati...
research
∙
05/05/2014
The Multi-engine ASP Solver ME-ASP: Progress Report
MEASP is a multi-engine solver for ground ASP programs. It exploits algo...
research
∙
06/20/2013