2017 (v1)
Publication
No description
Uploaded on: April 14, 2023
-
-
2016 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2016 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2019 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2019 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2020 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2022 (v1)Publication
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Albeit ASP has been widely adopted in both academic and industrial contexts, it might be difficult for people who are not familiar with logic programming conventions to use it. In this paper, we propose a translation of English...
Uploaded on: February 22, 2023 -
2018 (v1)Publication
Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When the aggregation involves literals whose truth value is undefined at instantiation time, modern grounders...
Uploaded on: April 14, 2023 -
2019 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2020 (v1)Publication
The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP, has been relatively recently solved employing abstract solvers. In this paper we deal with cautious reasoning tasks in ASP, and...
Uploaded on: April 14, 2023 -
2020 (v1)Publication
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and...
Uploaded on: April 14, 2023 -
2017 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2022 (v1)Publication
The problem of finding Master Surgical Schedules (MSS) consists of scheduling different specialties to the operating rooms of a hospital clinic. To produce a proper MSS, each specialty must be assigned to some operating rooms. The number of assignments is different for each specialty and can vary during the considered planning horizon....
Uploaded on: April 14, 2023