research
∙
08/28/2023
Proceedings 39th International Conference on Logic Programming
This volume contains the Technical Communications presented at the 39th ...
share
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...
research
∙
08/04/2022
Proceedings 38th International Conference on Logic Programming
ICLP is the premier international event for presenting research in logic...
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
∙
02/19/2022
ValAsp: a tool for data validation in Answer Set Programming
The development of complex software requires tools promoting fail-fast a...
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
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
∙
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
∙
08/07/2020
Managing caching strategies for stream reasoning with reinforcement learning
Efficient decision-making over continuously changing data is essential f...
research
∙
07/24/2019
Partial Compilation of ASP Programs
Answer Set Programming (ASP) is a well-known declarative formalism in lo...
research
∙
07/24/2019
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Answer Set Programming (ASP) solvers are highly-tuned and complex proced...
research
∙
07/22/2019
Better Paracoherent Answer Sets with Less Resources
Answer Set Programming (ASP) is a well-established formalism for logic p...
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
∙
11/05/2018
The External Interface for Extending WASP
Answer set programming (ASP) is a successful declarative formalism for k...
research
∙
09/28/2018
Efficiently Coupling the I-DLV Grounder with ASP Solvers
We present I-DLV+MS , a new Answer Set Programming (ASP) system that int...
research
∙
08/01/2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Answer Set Programming (ASP) is one of the major declarative programming...
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
∙
07/21/2017
On the Computation of Paracoherent Answer Sets
Answer Set Programming (ASP) is a well-established formalism for nonmono...
research
∙
07/13/2017
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Answer Set Programming (ASP) is a well-established declarative paradigm....
research
∙
11/16/2016
Driving CDCL Search
The CDCL algorithm is the leading solution adopted by state-of-the-art s...
research
∙
11/15/2016
An integrated Graphical User Interface for Debugging Answer Set Programs
Answer Set Programming (ASP) is an expressive knowledge representation a...
research
∙
08/02/2016
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Answer Set Programming (ASP) is a popular logic programming paradigm tha...
research
∙
05/14/2014
Anytime Computation of Cautious Consequences in Answer Set Programming
Query answering in Answer Set Programming (ASP) is usually solved by com...
research
∙
04/28/2014