Carmine Dodaro

Proceedings of the 39th Italian Conference on Computational Logic, 2024

Structured Declarative Language.

[BibT_eX]

[DOI]

Ilaria R. Vasile

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023

ValAsp: A Tool for Data Validation in Answer Set Programming.

[BibT_eX]

[DOI]

Arnel Zamayla

Theory Pract. Log. Program., September, 2023

ASP and subset minimality: Enumeration, cautious reasoning and MUSes.

[BibT_eX]

[DOI]

Artif. Intell., July, 2023

Compilation of tight ASP programs.

[BibT_eX]

[DOI]

Dataset, July, 2023

Rescheduling rehabilitation sessions with answer set programming.

[BibT_eX]

[DOI]

J. Log. Comput., June, 2023

On the Configuration of More and Less Expressive Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., March, 2023

Comparing Planning Domain Models Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Compilation of Tight ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Operating Room Scheduling Via Answer Set Programming: The Case of ASL1 Liguria.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Scheduling Periodic Treatments Via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Operating Room (Re)Scheduling with Bed Management via ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Enumeration of Minimal Models and MUSes in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

LTL on Weighted Finite Traces: Formal Foundations and Algorithms.

[BibT_eX]

[DOI]

Valeria Fionda

Gianluigi Greco

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.

[BibT_eX]

[DOI]

Francesco Riccio

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

Compilation of ASP Programs: Recent Developments (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

Compilation of Aggregates in ASP Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Compilation of Aggregates in ASP Systems.

[BibT_eX]

[DOI]

Dataset, December, 2021

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming.

[BibT_eX]

[DOI]

Fulvio Mastrogiovanni

Theory Pract. Log. Program., 2021

Paracoherent answer set computation.

[BibT_eX]

[DOI]

Artif. Intell., 2021

A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Data Validation Meets Answer Set Programming.

[BibT_eX]

[DOI]

Arnel Zamayla

Proceedings of the Practical Aspects of Declarative Languages, 2021

Explaining ASP-based Operating Room Schedules.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

The External Interface for Extending WASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Managing caching strategies for stream reasoning with reinforcement learning.

[BibT_eX]

[DOI]

Thomas Eiter

Paul Ogris

Theory Pract. Log. Program., 2020

Efficiently Coupling the I-DLV Grounder with ASP Solvers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Optimum stable model search: algorithms and implementation.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Compilation of Aggregates in ASP: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Chemotherapy Treatment Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020

Answer Set Programming in Healthcare: Extended Overview.

[BibT_eX]

[DOI]

2019

Evaluation of disjunctive programs in WASP.

[BibT_eX]

[DOI]

Dataset, March, 2019

Debugging Non-ground ASP Programs: Technique and Graphical Tools.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Partial Compilation of ASP Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Better Paracoherent Answer Sets with Less Resources.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Abstract Solvers for Computing Cautious Consequences of ASP programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Inconsistency Proofs for ASP: The ASP - DRUPE Format.

[BibT_eX]

[DOI]

Johannes Klaus Fichte

Markus Hecher

Tobias Philipp

Jakob Rath

Theory Pract. Log. Program., 2019

An ASP-based framework for operating room scheduling.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Model Enumeration via Assumption Literals.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

An ASP-based Solution for Operating Room Scheduling with Beds Management.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.

[BibT_eX]

[DOI]

Fulvio Mastrogiovanni

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Evaluation of Disjunctive Programs in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Algorithm Selection for Paracoherent Answer Set Computation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Debugging of Answer Set Programs Using Paracoherent Reasoning.

[BibT_eX]

[DOI]

Bernardo Cuteri

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Computing Modular Paracoherent Answer Sets: Preliminary Result.

[BibT_eX]

[DOI]

Bernardo Cuteri

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Empowering ASPQ to Win in QBFEval 2018.

[BibT_eX]

[DOI]

Bernardo Cuteri

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Minipref: A Tool for Preferences in SAT (short paper).

[BibT_eX]

[DOI]

Alessandro Previti

Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019

2018

Shared aggregate sets in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Cautious reasoning in ASP via minimal models and unsatisfiable cores.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

The ASP System DLV: Advancements and Applications.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Nurse (Re)scheduling via answer set programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2018

A Hybrid Approach to Optimization in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

An Overview of ASP Applications in the Health-care Domain.

[BibT_eX]

[DOI]

Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

Operating Room Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

KR&R Approaches for Robot Manipulation Tasks with Articulated Objects.

[BibT_eX]

[DOI]

Fulvio Mastrogiovanni

Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Nurse Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

The ASP System DLV2.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An Advanced Answer Set Programming Encoding for Nurse Scheduling.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

On the Computation of Paracoherent Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Anytime answer set optimization via unsatisfiable core shrinking.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

An integrated Graphical User Interface for Debugging Answer Set Programs.

[BibT_eX]

[DOI]

CoRR, 2016

Driving CDCL Search.

[BibT_eX]

[DOI]

CoRR, 2016

ASPQ: An ASP-Based 2QBF Solver.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Completion of Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

External Propagators in WASP: Preliminary Report.

[BibT_eX]

[DOI]

Peter Schüller

Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016

On the Application of Answer Set Programming to the Conference Paper Assignment Problem.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Answer Set Enumeration via Assumption Literals.

[BibT_eX]

[DOI]

Kostyantyn M. Shchekotykhin

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Allotment Problem in Travel Industry: A Solution Based on ASP.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Interactive Debugging of Non-ground ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Advances in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

JWASP: A New Java-Based ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Anytime Computation of Cautious Consequences in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Preliminary Report on WASP 2.0.

[BibT_eX]

[DOI]