Search Results for author:
Found 4 papers, 0 papers with code
Explainable Answer-set Programming
Although several explanation approaches for ASP exist, almost all of them lack support for certain language features that are used in practice.
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
We study the application of Answer-Set Programming (ASP) to solve this problem.
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
In fact, we present a general method to obtain sequent systems for any many-valued logic based on minimal inconsistency, yielding the calculi for the logics of Priest and of Arieli and Avron as special instances.
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
In this paper we deal with a complex real world scheduling problem closely related to the well-known Resource-Constrained Project Scheduling Problem (RCPSP).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
