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 …

The ASP methodology has been recognized to be a viable solution to many practical
applications, including scheduling problems, and in particular in the healthcare domain, of …

Abstract Argumentation is a major topic in the study of Artificial Intelligence. Since the first
edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed …

Answer set programming (ASP) is a prominent knowledge representation and reasoning
paradigm that found both industrial and scientific applications. The success of ASP is due to …

Answer Set Programming (ASP) is a prominent knowledge representation language with
roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are …

Abstract 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 …

Deductive formalisms have been strongly developed in recent years; among them, answer
set programming (ASP) gained some momentum and has been lately fruitfully employed in …

Abstract Answer Set Programming (ASP) is a well-known AI formalism. Traditional ASP
systems, that follow the “ground&solve” approach, are intrinsically limited by the so-called …

Abstract Domain-specific heuristics are an essential technique for solving combinatorial
problems efficiently. Current approaches to integrate domain-specific heuristics with Answer …

Declarative logic programming formalisms are well-suited to model various optimization and
configuration problems. In particular, Answer Set Programming (ASP) systems have gained …