Marco Maratea

Andreas Niskanen

Johannes Peter Wallner

Stefan Woltran

Artif. Intell., 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

An ASP-based Approach to Master Surgical Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 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]

Theory Pract. Log. Program., 2021

AI & COVID-19.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2021

The CLAIRE COVID-19 initiative: approach, experiences and recommendations.

[BibT_eX]

[DOI]

Ethics Inf. Technol., 2021

A Planning-based Approach for In-Station Train Dispatching.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling.

[BibT_eX]

[DOI]

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

An Efficient Hybrid Planning Framework for In-Station Train Dispatching.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2021, 2021

In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models.

[BibT_eX]

[DOI]

Proceedings of the 29th European Symposium on Artificial Neural Networks, 2021

In-Station Train Dispatching: A PDDL+ Planning Approach.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

An ASP-based solution to the Operating Room Scheduling with care units.

[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

An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic.

[BibT_eX]

[DOI]

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

Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.

[BibT_eX]

[DOI]

Explaining ASP-based Operating Room Schedules.

[BibT_eX]

[DOI]

2020

The Seventh Answer Set Programming Competition: Design and Results.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

ASP-Core-2 Input Language Format.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Seventh ASPOCP International Workshop on 'Answer Set Programming and Other Computing Paradigms'.

[BibT_eX]

[DOI]

Daniela Inclezan

J. Log. Comput., 2020

Preface.

[BibT_eX]

[DOI]

Thomas Eiter

Fundam. Informaticae, 2020

Design and results of the Second International Competition on Computational Models of Argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2020

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

[BibT_eX]

[DOI]

Giovanni Amendola

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

Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity.

[BibT_eX]

[DOI]

Riccardo Bertolucci

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 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

Abstract Solvers for Computing Cautious Consequences of ASP programs.

[BibT_eX]

[DOI]

Giovanni Amendola

Theory Pract. Log. Program., 2019

An ASP-based framework for operating room scheduling.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Preface.

[BibT_eX]

[DOI]

Ivan Serina

Paolo Torroni

Fundam. Informaticae, 2019

Assessment of benchmarks for abstract argumentation.

[BibT_eX]

[DOI]

Jean-Guy Mailly

Argument Comput., 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]

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

On the Configuration of SAT Formulae.

[BibT_eX]

[DOI]

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

Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity.

[BibT_eX]

[DOI]

Riccardo Bertolucci

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

2018

Shared aggregate sets in answer set programming.

[BibT_eX]

[DOI]

Mario Alviano

Theory Pract. Log. Program., 2018

Cautious reasoning in ASP via minimal models and unsatisfiable cores.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

On the manipulation of articulated objects in human-robot cooperation scenarios.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2018

23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Stefano Bistarelli

Andrea Formisano

J. Exp. Theor. Artif. Intell., 2018

Nurse (Re)scheduling via answer set programming.

[BibT_eX]

[DOI]

Mario Alviano

Intelligenza Artificiale, 2018

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Translation-based approaches for solving disjunctive temporal problems with preferences.

[BibT_eX]

[DOI]

Constraints An Int. J., 2018

Abstract solvers for Dung's argumentation frameworks.

[BibT_eX]

[DOI]

Thomas Linsbichler

Johannes Peter Wallner

Stefan Woltran

Argument Comput., 2018

Summary Report of the Second International Competition on Computational Models of Argumentation.

[BibT_eX]

[DOI]

AI Mag., 2018

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.

[BibT_eX]

[DOI]

Thomas Linsbichler

Andreas Niskanen

Johannes Peter Wallner

Stefan Woltran

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 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]

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

2017

CASP solutions for planning in hybrid domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

The Sixth Answer Set Programming Competition.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

The Design of the Seventh Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Nurse Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects.

[BibT_eX]

[DOI]

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

An Advanced Answer Set Programming Encoding for Nurse Scheduling.

[BibT_eX]

[DOI]

Mario Alviano

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

2016

Disjunctive answer set solvers via templates.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

6th Italian Workshop on Planning and Scheduling (IPS 2015).

[BibT_eX]

[DOI]

Gabriella Cortellessa

Daniele Magazzeni

Ivan Serina

Intelligenza Artificiale, 2016

Preface.

[BibT_eX]

[DOI]

Daniela Inclezan

Victor W. Marek

Fundam. Informaticae, 2016

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

PDDL+ Planning via Constraint Answer Set Programming.

[BibT_eX]

[DOI]

Marcello Balduccini

Daniele Magazzeni

CoRR, 2016

Systems, Engineering Environments, and Competitions.

[BibT_eX]

[DOI]

AI Mag., 2016

Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

Toni Mancini

AI Commun., 2016

Design and results of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Introducing the Second International Competition on Computational Models of Argumentation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

What's Hot in the Answer Set Programming Competition.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Multi-engine ASP solving with policy adaptation.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Toni Mancini

J. Exp. Theor. Artif. Intell., 2015

An Ontology for Historical Research Documents.

[BibT_eX]

[DOI]

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

Multi-level Algorithm Selection for ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

The Design of the Sixth Answer Set Programming Competition - - Report -.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Abstract Answer Set Solvers for Cautious Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

An Ontology-Based Archive for Historical Research.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Advances in Multi-engine ASP Solving.

[BibT_eX]

[DOI]

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

Abstract Solvers for Quantified Boolean Formulas and their Applications.

[BibT_eX]

[DOI]

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

2014

A multi-engine approach to answer-set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Efficient DTPP solving with a reduction-based approach.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2014

The Multi-engine ASP Solver ME-ASP: Progress Report.

[BibT_eX]

[DOI]

CoRR, 2014

The Design of the Fifth Answer Set Programming Competition.

[BibT_eX]

[DOI]

CoRR, 2014

Abstract Disjunctive Answer Set Solvers.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Computational analysis of freeway traffic control based on a linearized prediction model.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Automated Selection of Grounding Algorithm in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Solving disjunctive temporal problems with preferences using maximum satisfiability.

[BibT_eX]

[DOI]

AI Commun., 2012

Planning as satisfiability with IPC simple preferences and action costs.

[BibT_eX]

[DOI]

AI Commun., 2012

The Multi-Engine ASP Solver me-asp.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Applying Machine Learning Techniques to ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Algorithms for Solving Satisfiability Problems with Qualitative Preferences.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

2011

Introducing Preferences in Planning as Satisfiability.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Look-back Techniques for ASP Programs with Aggregates.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Solving satisfiability problems with preferences.

[BibT_eX]

[DOI]

Emanuele Di Rosa

Constraints An Int. J., 2010

DLV<sup><i>MC</i></sup>: Enhanced Model Checking in DLV.

[BibT_eX]

[DOI]

Pierfrancesco Veltri

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

2009

Maximum likelihood approach to HF radar performance characterization.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Fusion, 2009

Improving Plan Quality in SAT-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.

[BibT_eX]

[DOI]

J. Algorithms, 2008

On the relation among answer set solvers.

[BibT_eX]

[DOI]

Nicola Leone

Ann. Math. Artif. Intell., 2008

A new Approach for Solving Satisfiability Problems with Qualitative Preferences.

[BibT_eX]

[DOI]

Emanuele Di Rosa

Proceedings of the ECAI 2008, 2008

Computing All Optimal Solutions in Satisfiability Problems with Preferences.

[BibT_eX]

[DOI]

Emanuele Di Rosa

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Experimenting with Look-Back Heuristics for Hard ASP Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

Planning as Satisfiability with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Answer Set Programming Based on Propositional Satisfiability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Efficient decision procedures for the integration of planning and formal verification in advanced systems.

[BibT_eX]

[DOI]

AI Commun., 2006

optsat: A Tool for Solving SAT Related Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Solving Optimization Problems with DLL.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

The SAT-based Approach to Separation Logic.

[BibT_eX]

[DOI]

J. Autom. Reason., 2005

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

TSAT++: an Open Platform for Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

A SAT-based polynomial space algorithm for answer set programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

SAT-Based Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.

[BibT_eX]

[DOI]

Armando Tacchella

Proceedings of the Principles and Practice of Constraint Programming, 2003

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Dependent and Independent Variables in Propositional Satisfiability.

[BibT_eX]

[DOI]