Mario Alviano

发表

Large-scale Ontological Reasoning via Datalog pdf

Mario Alviano, Marco Manna, Mario Alviano, 2020, Applications and Practices in Ontology Design, Extraction, and Reasoning.

Fuzzy answer sets approximations

Mario Alviano, Rafael Peñaloza, 2013, Theory Pract. Log. Program..

Large Scale DLV: Preliminary Results

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, CILC.

Cautious reasoning in ASP via minimal models and unsatisfiable cores

Mario Alviano, Marco Maratea, Matti Järvisalo, 2018, Theory and Practice of Logic Programming.

Model Enumeration via Assumption Literals

Mario Alviano, Carmine Dodaro, 2019, Fundam. Informaticae.

The Disjunctive Datalog System DLV

Mario Alviano, Wolfgang Faber, Gerald Pfeifer, 2010, Datalog.

AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Mario Alviano, Francesco Scarcello, Gianluigi Greco, 2019, AI*IA.

Default Negation for Non-Guarded Existential Rules

Mario Alviano, Andreas Pieris, 2015, PODS.

Magic-Sets for Datalog with Existential Quantifiers

Mario Alviano, Giorgio Terracina, Nicola Leone, 2012, Datalog.

From Non-Convex Aggregates to Monotone Aggregates in ASP

Mario Alviano, Wolfgang Faber, Martin Gebser, 2016, IJCAI.

Reasoning over Ontologies with DLV

Mario Alviano, Francesco Ricca, Marco Manna, 2018, IC3K.

Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms

Mario Alviano, Wolfgang Faber, Wolfgang Faber, 2015, RR.

Translating NP-SPEC into ASP pdf

Mario Alviano, Wolfgang Faber, 2013, ArXiv.

Anytime answer set optimization via unsatisfiable core shrinking pdf

Mario Alviano, Carmine Dodaro, Mario Alviano, 2016, Theory and Practice of Logic Programming.

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

Mario Alviano, Wolfgang Faber, 2013, LPNMR.

Dynamic Magic Sets for Super-Consistent Answer Set Programs pdf

Mario Alviano, Wolfgang Faber, 2010, ArXiv.

Preliminary Report on WASP 2.0 pdf

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2014, ArXiv.

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Mario Alviano, Carmine Dodaro, 2020, Fundam. Informaticae.

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization

Mario Alviano, Carmine Dodaro, Mario Alviano, 2017, IJCAI.

Aggregates in Answer Set Programming

Mario Alviano, Wolfgang Faber, 2018, KI - Künstliche Intelligenz.

WASP: A Native ASP Solver Based on Constraint Learning

Mario Alviano, Wolfgang Faber, Nicola Leone, 2013, LPNMR.

On the Properties of GZ-Aggregates in Answer Set Programming

Mario Alviano, Nicola Leone, N. Leone, 2016, IJCAI.

A Hybrid Approach to Optimization in Answer Set Programming

Mario Alviano, Matti Järvisalo, Carmine Dodaro, 2018, KR.

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA

Mario Alviano, Rafael Peñaloza, Giovanni Amendola, 2017, AAAI.

Properties of Answer Set Programming with Convex Generalized Atoms pdf

Mario Alviano, Wolfgang Faber, 2013, ArXiv.

The Maze Generation Problem is NP-complete

Mario Alviano, 2009, ICTCS.

The Fourth Answer Set Programming Competition: Preliminary Report

Mario Alviano, Giovambattista Ianni, Guohui Xiao, 2013, LPNMR.

Enhancing Magic Sets with an Application to Ontological Reasoning

Mario Alviano, Nicola Leone, Pierfrancesco Veltri, 2019, Theory and Practice of Logic Programming.

The HiLeX System for Semantic Information Extraction

Mario Alviano, Nicola Leone, Marco Manna, 2012, Trans. Large Scale Data Knowl. Centered Syst..

Minimal Undefinedness for Fuzzy Answer Sets

Mario Alviano, Rafael Peñaloza, Giovanni Amendola, 2017, AAAI.

The ASP System DLV2

Mario Alviano, Nicola Leone, Francesco Ricca, 2017, LPNMR.

Argumentation Reasoning via Circumscription with Pyglaf

Mario Alviano, 2019, Fundam. Informaticae.

On the Integration of CP-nets in ASPRIN

Mario Alviano, Torsten Schaub, Javier Romero, 2019, IJCAI.

Disjunctive ASP with functions: Decidable queries and effective computation pdf

Mario Alviano, Wolfgang Faber, Nicola Leone, 2010, Theory Pract. Log. Program..

Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics

Mario Alviano, Giovambattista Ianni, Alessandra Martello, 2008, ASWC.

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Mario Alviano, Grigoris Antoniou, Timos Sellis, 2018 .

Advances in WASP

Mario Alviano, Nicola Leone, Francesco Ricca, 2015, LPNMR.

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Mario Alviano, Grigoris Antoniou, Timos Sellis, 2018, Theory Pract. Log. Program..

Preference Relations by Approximation

Mario Alviano, Torsten Schaub, Javier Romero, 2018, KR.

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

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2011, LPNMR.

Coalition formation in social environments with logic-based agents

Mario Alviano, Gianluigi Greco, Antonella Guzzo, 2018, AI Commun..

Magic Sets for Disjunctive Datalog Programs

Mario Alviano, Gianluigi Greco, Nicola Leone, 2012 .

The ASP System DLV: Advancements and Applications

Mario Alviano, Wolfgang Faber, Nicola Leone, 2018, KI - Künstliche Intelligenz.

ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

Mario Alviano, Carmine Dodaro, Matti Järvisalo, 2018 .

Complexity of super-coherence problems in ASP*

Mario Alviano, Wolfgang Faber, Stefan Woltran, 2012, Theory and Practice of Logic Programming.

The Pyglaf Argumentation Reasoner

Mario Alviano, Mario Alviano, 2017, ICLP.

Dynamic Magic Sets and super-coherent answer set programs

Mario Alviano, Wolfgang Faber, Wolfgang Faber, 2011, AI Commun..

Enhancing DLV for Large-Scale Reasoning

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, LPNMR.

Dynamic Magic Sets

Mario Alviano, Wolfgang Faber, Nicola Leone, 2010 .

Comparing Alternative Solutions for Unfounded Set Propagation in ASP

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2013, AI*IA.

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

Mario Alviano, Wolfgang Faber, Nicola Leone, 2010, RCRA@CPAIOR.

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates

Mario Alviano, Nicola Leone, Gianluigi Greco, 2011, LPNMR.

Semantics and Compilation of Answer Set Programming with Generalized Atoms pdf

Mario Alviano, Wolfgang Faber, Wolfgang Faber, 2014, ArXiv.

Nurse (Re)scheduling via answer set programming

Mario Alviano, Marco Maratea, Carmine Dodaro, 2019, Intelligenza Artificiale.

Query Answering in Propositional Circumscription

Mario Alviano, Mario Alviano, 2018, IJCAI.

Complexity and compilation of GZ-aggregates in answer set programming

Mario Alviano, Nicola Leone, N. Leone, 2015, Theory and Practice of Logic Programming.

Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates

Mario Alviano, Wolfgang Faber, Nicola Leone, 2007 .

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

Mario Alviano, Wolfgang Faber, Nicola Leone, 2011, CILC.

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

Mario Alviano, Wolfgang Faber, Wolfgang Faber, 2015, IJCAI.

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

Mario Alviano, Wolfgang Faber, Nicola Leone, 2011, J. Artif. Intell. Res..

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

Mario Alviano, Wolfgang Faber, Nicola Leone, 2012, Theory Pract. Log. Program..

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates

Mario Alviano, Mario Alviano, 2015, RCRA@AI*IA.

Chain Answer Sets for Logic Programs with Generalized Atoms

Mario Alviano, Wolfgang Faber, Wolfgang Faber, 2019, JELIA.

Algorithms for solving optimization problems in answer set programming

Mario Alviano, Mario Alviano, 2018, Intelligenza Artificiale.

Completion of Disjunctive Logic Programs

Mario Alviano, Carmine Dodaro, Mario Alviano, 2016, IJCAI.

JWASP: A New Java-Based ASP Solver

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2015, RCRA@AI*IA.

Efficient recursive aggregate evaluation in logic programming

Mario Alviano, 2011, Intelligenza Artificiale.

Magic Sets for disjunctive Datalog programs

Mario Alviano, Wolfgang Faber, Nicola Leone, 2012, Artif. Intell..

Reduct-based Stability Check Using Literal Assumptions

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2015, ICLP 2015.

Answer Set Enumeration via Assumption Literals

Mario Alviano, Carmine Dodaro, 2016, AI*IA.

Solving NP-SPEC Domains Using ASP

Mario Alviano, Wolfgang Faber, 2013 .

Stable Model Semantics for Tuple-Generating Dependencies Revisited

Mario Alviano, Andreas Pieris, Michael Morak, 2017, PODS.

Dynamic Magic Sets for Disjunctive Datalog Programs

Mario Alviano, 2010, ICLP.

Anytime Computation of Cautious Consequences in Answer Set Programming

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2014, Theory and Practice of Logic Programming.

An Advanced Answer Set Programming Encoding for Nurse Scheduling

Mario Alviano, Marco Maratea, Carmine Dodaro, 2017, AI*IA.

Shared aggregate sets in answer set programming pdf

Mario Alviano, Marco Maratea, Carmine Dodaro, 2018, Theory and Practice of Logic Programming.

Optimum stable model search: algorithms and implementation

Mario Alviano, Joao Marques-Silva, Francesco Ricca, 2020, J. Log. Comput..

Evaluation of Disjunctive Programs in WASP

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, LPNMR.

Fuzzy answer set computation via satisfiability modulo theories pdf

Mario Alviano, Rafael Peñaloza, R. Peñaloza, 2015, Theory and Practice of Logic Programming.

Answer Set Programming with Composed Predicate Names

Mario Alviano, Mario Alviano, 2020, KR.

Inconsistency Proofs for ASP: The ASP - DRUPE Format pdf

Mario Alviano, Carmine Dodaro, Markus Hecher, 2019, Theory and Practice of Logic Programming.

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size

Mario Alviano, Francesco Ricca, Carmine Dodaro, 2015, IJCAI.

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

Mario Alviano, Grigoris Antoniou, Sotiris Batsakis, 2020, Theory and Practice of Logic Programming.

Query Answering over Disjunctive Datalog with Existential Quantifiers

Mario Alviano, Wolfgang Faber, Nicola Leone, 2013, SEBD.

Querying Large Expressive Horn Ontologies

Mario Alviano, Nicola Leone, Francesco Ricca, 2019, SEBD.

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

Mario Alviano, Wolfgang Faber, Martin Gebser, 2015, Theory and Practice of Logic Programming.

Effectively solving NP-SPEC encodings by translation to ASP

Mario Alviano, Wolfgang Faber, 2015, J. Exp. Theor. Artif. Intell..

Model enumeration in propositional circumscription via unsatisfiable core analysis

Mario Alviano, 2017, Theory Pract. Log. Program..

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

Mario Alviano, 2017, RCRA@AI*IA.

A Speech about Generative Datalog and Non-measurable Sets

Mario Alviano, Arnel Zamayla, Mario Alviano, 2021, ICLP Workshops.

The pyglaf argumentation reasoner (ICCMA2021) pdf

Mario Alviano, 2021, ArXiv.

Modal Logic S5 Satisfiability in Answer Set Programming

Mario Alviano, Sotiris Batsakis, George Baryannis, 2021, Theory and Practice of Logic Programming.

Aggregate Semantics for Propositional Answer Set Programs pdf

Mario Alviano, Wolfgang Faber, Martin Gebser, 2021, Theory Pract. Log. Program..

Function Symbols in ASP : Overview and Perspectives

Mario Alviano, Wolfgang Faber, Giovambattista Ianni, 2012 .