Search Results for author:
Found 17 papers, 2 papers with code
Symbolic Numeric Planning with Patterns
In this paper, we propose a novel approach for solving linear numeric planning problems, called Symbolic Pattern Planning.
CNL2ASP: converting controlled natural language sentences into ASP
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems.
On the Configuration of More and Less Expressive Logic Programs
The decoupling between the representation of a certain problem, i. e., its knowledge model, and the reasoning side is one of main strong points of model-based Artificial Intelligence (AI).
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible) several requirements such as the cyclic nature of chemotherapy treatment plans, maintaining a constant number of patients, and the availability of resources, e. g., treatment time, nurses, and drugs.
Operating Room (Re)Scheduling with Bed Management via ASP
The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, lengths and priority scores of each planned surgery, operating room session durations, and the availability of beds for the entire length of stay both in the Intensive Care Unit and in the wards.
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot-based manipulation of articulated objects.
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications.
Design and Results of the Second International Competition on Computational Models of Argumentation
Argumentation is a major topic in the study of Artificial Intelligence.
Abstract Solvers for Computing Cautious Consequences of ASP programs
We show how to improve the current abstract solvers for cautious reasoning in ASP with new techniques borrowed from backbone computation in SAT, in order to design new solving algorithms.
The Seventh Answer Set Programming Competition: Design and Results
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning.
CASP Solutions for Planning in Hybrid Domains
CASP is an extension of ASP that allows for numerical constraints to be added in the rules.
PDDL+ Planning via Constraint Answer Set Programming
PDDL+ is an extension of PDDL that enables modelling planning domains with mixed discrete-continuous dynamics.
Disjunctive Answer Set Solvers via Templates
A fundamental task in answer set programming is to compute stable models, i. e., solutions of logic programs.
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning.
The Multi-engine ASP Solver ME-ASP: Progress Report
MEASP is a multi-engine solver for ground ASP programs.
A Multi-Engine Approach to Answer Set Programming
Then, we apply classification methods that, given the features of the instances in a {\sl training} set and the solvers' performance on these instances, inductively learn algorithm selection strategies to be applied to a {\sl test} set.
