Carmine Dodaro

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]

Giuseppe Mazzotta

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

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

Mauro Vallati

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

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

Mauro Vallati

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

Mauro Vallati

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]