Mario Alviano

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

Generative Datalog and Answer Set Programming - Extended Abstract.

[BibT_eX]

[DOI]

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

Introducing ASP recipes and ASP Chef.

[BibT_eX]

[DOI]

Luis Angel Rodriguez Reiners

Davide Cirimele

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Advancements in xASP, an XAI System for Answer Set Programming.

[BibT_eX]

[DOI]

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

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases.

[BibT_eX]

[DOI]

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

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation.

[BibT_eX]

[DOI]

CoRR, 2022

Enumeration of Minimal Models and MUSes in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.

[BibT_eX]

[DOI]

Sotiris Batsakis

George Baryannis

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

An Application of ASP for Procedural Content Generation in Video Games.

[BibT_eX]

[DOI]

Andrea De Seta

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Modal Logic S5 Satisfiability in Answer Set Programming.

[BibT_eX]

[DOI]

Sotiris Batsakis

George Baryannis

Theory Pract. Log. Program., 2021

The pyglaf argumentation reasoner (ICCMA2021).

[BibT_eX]

[DOI]

CoRR, 2021

Data Validation Meets Answer Set Programming.

[BibT_eX]

[DOI]

Arnel Zamayla

Proceedings of the Practical Aspects of Declarative Languages, 2021

A Speech about Generative Datalog and Non-measurable Sets.

[BibT_eX]

[DOI]

Arnel Zamayla

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Large-Scale Ontological Reasoning via Datalog.

[BibT_eX]

[DOI]

Marco Manna

Proceedings of the Applications and Practices in Ontology Design, 2020

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Optimum stable model search: algorithms and implementation.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

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

[BibT_eX]

[DOI]

Gianluigi Greco

Francesco Scarcello

Intelligenza Artificiale, 2020

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Large-scale Ontological Reasoning via Datalog.

[BibT_eX]

[DOI]

Marco Manna

CoRR, 2020

Answer Set Programming with Composed Predicate Names.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Answer Set Programming in Healthcare: Extended Overview.

[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

2019

Enhancing Magic Sets with an Application to Ontological Reasoning.

[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

Model Enumeration via Assumption Literals.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Argumentation Reasoning via Circumscription with Pyglaf.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Querying Large Expressive Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Enhancing DLV for Large-Scale Reasoning.

[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

Chain Answer Sets for Logic Programs with Generalized Atoms.

[BibT_eX]

[DOI]

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

On the Integration of CP-nets in ASPRIN.

[BibT_eX]

[DOI]

Javier Romero

Torsten Schaub

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Large Scale DLV: Preliminary Results.

[BibT_eX]

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

2018

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Shared aggregate sets in answer set programming.

[BibT_eX]

[DOI]

Marco Maratea

Theory Pract. Log. Program., 2018

Cautious reasoning in ASP via minimal models and unsatisfiable cores.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Aggregates in Answer Set Programming.

[BibT_eX]

[DOI]

Künstliche Intell., 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]

Marco Maratea

Intelligenza Artificiale, 2018

Algorithms for solving optimization problems in answer set programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2018

Coalition formation in social environments with logic-based agents.

[BibT_eX]

[DOI]

Gianluigi Greco

Antonella Guzzo

AI Commun., 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

Preference Relations by Approximation.

[BibT_eX]

[DOI]

Javier Romero

Torsten Schaub

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

Query Answering in Propositional Circumscription.

[BibT_eX]

[DOI]

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

Reasoning over Ontologies with DLV.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

2017

Model enumeration in propositional circumscription via unsatisfiable core analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Stable Model Semantics for Tuple-Generating Dependencies Revisited.

[BibT_eX]

[DOI]

Michael Morak

Andreas Pieris

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 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

The Pyglaf Argumentation Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

An Advanced Answer Set Programming Encoding for Nurse Scheduling.

[BibT_eX]

[DOI]

Marco Maratea

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

Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste.

[BibT_eX]

[DOI]

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Minimal Undefinedness for Fuzzy Answer Sets.

[BibT_eX]

[DOI]

Giovanni Amendola

Rafael Peñaloza

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

2016

Anytime answer set optimization via unsatisfiable core shrinking.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

On the Properties of GZ-Aggregates in Answer Set Programming.

[BibT_eX]

[DOI]

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

From Non-Convex Aggregates to Monotone Aggregates in ASP.

[BibT_eX]

[DOI]

Martin Gebser

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

Completion of Disjunctive Logic Programs.

[BibT_eX]

[DOI]

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

Answer Set Enumeration via Assumption Literals.

[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

Boolean Functions with Ordered Domains in Answer Set Programming.

[BibT_eX]

[DOI]

Hannes Strass

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Fuzzy answer set computation via satisfiability modulo theories.

[BibT_eX]

[DOI]

Rafael Peñaloza

Theory Pract. Log. Program., 2015

Complexity and compilation of GZ-aggregates in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Rewriting recursive aggregates in answer set programming: back to monotonicity.

[BibT_eX]

[DOI]

Martin Gebser

Theory Pract. Log. Program., 2015

Effectively solving NP-SPEC encodings by translation to ASP.

[BibT_eX]

[DOI]

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

Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms.

[BibT_eX]

[DOI]

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

Default Negation for Non-Guarded Existential Rules.

[BibT_eX]

[DOI]

Andreas Pieris

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Advances in WASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective.

[BibT_eX]

[DOI]

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

Complexity of super-coherence problems in ASP.

[BibT_eX]

[DOI]

Stefan Woltran

Theory Pract. Log. Program., 2014

Anytime Computation of Cautious Consequences in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Semantics and Compilation of Answer Set Programming with Generalized Atoms.

[BibT_eX]

[DOI]

CoRR, 2014

Preliminary Report on WASP 2.0.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Fuzzy answer sets approximations.

[BibT_eX]

[DOI]

Rafael Peñaloza

Theory Pract. Log. Program., 2013

Translating NP-SPEC into ASP

[BibT_eX]

[DOI]

CoRR, 2013

Properties of Answer Set Programming with Convex Generalized Atoms.

[BibT_eX]

[DOI]

CoRR, 2013

Query Answering over Disjunctive Datalog with Existential Quantifiers.

[BibT_eX]

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

WASP: A Native ASP Solver Based on Constraint Learning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Comparing Alternative Solutions for Unfounded Set Propagation in ASP.

[BibT_eX]

[DOI]

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

2012

Team-building with answer set programming in the Gioia-Tauro seaport.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

The HiLeX System for Semantic Information Extraction.

[BibT_eX]

[DOI]

Trans. Large Scale Data Knowl. Centered Syst., 2012

Magic Sets for disjunctive Datalog programs.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Magic-Sets for Datalog with Existential Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Efficient recursive aggregate evaluation in logic programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Dynamic Magic Sets and super-coherent answer set programs.

[BibT_eX]

[DOI]

AI Commun., 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

[BibT_eX]

[DOI]

Maria Carmela Santoro

Marco Sirianni

Giorgio Terracina

Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.

[BibT_eX]

[DOI]

Gianluigi Greco

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Birth of a WASP: Preliminary Report on a New ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Complexity of Super-Coherence Problems in Answer Set Programming.

[BibT_eX]

[DOI]

Stefan Woltran

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Disjunctive ASP with functions: Decidable queries and effective computation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Dynamic Magic Sets for Super-Consistent Answer Set Programs

[BibT_eX]

[DOI]

CoRR, 2010

Dynamic Magic Sets for Disjunctive Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

The Disjunctive Datalog System DLV.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.

[BibT_eX]

[DOI]

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

2009

The Maze Generation Problem is NP-complete.

[BibT_eX]