Mario Alviano - RankMe

184 papers A* 21B 19C 4Journal 84Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	—	`conf`	A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project. ICLP Workshops Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo, Sebastiano Piccolo
2025	—	`conf`	A Temporal, Deontic, Conditional Logic with Typicality: a Preliminary Report. ICTCS Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	B	`conf`	A framework for Conditional Reasoning in Answer Set Programming. ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	A*	`conf`	ASP Chef Chats with Large Language Models. IJCAI Mario Alviano, Pietro Macrì, Luis Angel Rodriguez Reiners
2025	—	`conf`	ASP Chef Creates Surveys. ICLP Workshops Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
2025	J	`jnl`	ASP Chef Grows Mustache to Look Better. Theory Pract. Log. Program. Mario Alviano, Luis Angel Rodriguez Reiners, Wolfgang Faber
2025	—	`conf`	ASP Chef for Water Waste Monitoring. CILC Mario Alviano, Luis Angel Rodriguez Reiners
2025	J	`jnl`	ASP Chef grows Mustache to look better. CoRR Mario Alviano, Wolfgang Faber, Luis Angel Rodriguez Reiners
2025	—	`conf`	Conditionals and Temporal Conditionals for Gradual Argumentation. AI^3@ICLP Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	A*	`conf`	Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language. IJCAI Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners
2025	—	`conf`	Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef. CILC Mario Alviano, Pietro Macrì
2025	A*	`conf`	Model Checker for Recursive Aggregates. KR Mario Alviano, Carmine Dodaro, Salvatore Fiorentino
2025	—	`ed.`	Proceedings of the 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2025) co-located with the 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 13, 2025. AI^3@ICLP Mario Alviano, Bettina Fazzinga
2025	—	`conf`	Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report. CILC Mario Alviano, Paola Guarasci
2025	—	`conf`	Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk). ICLP Workshops Mario Alviano
2025	—	`conf`	Temporal Conditional Reasoning with Weighted Knowledge Bases. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2025	J	`jnl`	User Armor: An Extension for AppArmor. Algorithms Mario Alviano, Pierpaolo Sestito
2024	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	A*	`conf`	AMO-aware Aggregates in Answer Set Programming. IJCAI Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea
2024	A*	`conf`	ASP Chef: Draw and Expand. KR Mario Alviano, Luis Angel Rodriguez Reiners
2024	J	`jnl`	Addressing marketplace logistic tasks in answer set programming. Intelligenza Artificiale Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners
2024	B	`conf`	Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. LPNMR Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt
2024	—	`conf`	Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. CILC Mario Alviano, Lorenzo Grillo
2024	—	`conf`	Answer Set Programming and Large Language Models interaction with YAML: Second Report. KoDis+CAKR+SYNERGY@KR Mario Alviano, Fabrizio Lo Scudo, Lorenzo Grillo, Luis Angel Rodriguez Reiners
2024	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. J. Log. Comput. Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Efficient Compliance Computation in Probabilistic Declarative Specifications. ICLP Workshops Mario Alviano, Antonio Ielo, Francesco Ricca
2024	J	`jnl`	Improve Parallel Resistance of Hashcash Tree. Cryptogr. Mario Alviano, Giada Gabriele
2024	B	`conf`	Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. LPNMR Mario Alviano, Luis Angel Rodriguez Reiners
2024	B	`conf`	Integrating Structured Declarative Language (SDL) into ASP Chef. LPNMR Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, Ilaria R. Vasile
2024	—	`conf`	Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	C	`conf`	Marketplace Logistics via Answer Set Programming. PADL Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners
2024	—	`ed.`	Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), Dallas, Texas, USA, October 11, 2024. Datalog Mario Alviano, Matthias Lanzinger
2024	C	`conf`	Rethinking Answer Set Programming Templates. PADL Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2024	J	`jnl`	Selected Papers from Datalog 2.0 2022. Theory Pract. Log. Program. Mario Alviano, Andreas Pieris
2024	—	`conf`	Structured Declarative Language. CILC Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
2024	J	`jnl`	Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Temporal Many-valued Conditional Logics: an Abridged Report. OVERLAY Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	The XAI system for answer set programming xASP2. J. Log. Comput. Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2024	—	`conf`	Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2024	—	`conf`	Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2024	J	`jnl`	Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2023	—	`conf`	Advancements in xASP, an XAI System for Answer Set Programming. CILC Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2023	B	`conf`	Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	B	`conf`	Explanations for Answer Set Programming. ICLP Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	B	`conf`	Generative Datalog and Answer Set Programming - Extended Abstract. JELIA Mario Alviano
2023	A*	`conf`	Generative Datalog with Stable Negation. PODS Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2023	J	`jnl`	Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks. Algorithms Mario Alviano
2023	—	`conf`	Introducing ASP recipes and ASP Chef. ICLP Workshops Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
2023	—	`conf`	Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	—	`conf`	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	Rethinking Answer Set Programming Templates. CoRR Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2023	—	`conf`	Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2023	J	`jnl`	ValAsp: A Tool for Data Validation in Answer Set Programming. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2022	—	`conf`	An Application of ASP for Procedural Content Generation in Video Games. CILC Andrea De Seta, Mario Alviano
2022	B	`conf`	Enumeration of Minimal Models and MUSes in WASP. LPNMR Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2022	J	`jnl`	Generative Datalog with Stable Negation. CoRR Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2022	J	`jnl`	Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2022	B	`conf`	Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR Mario Alviano, Sotiris Batsakis, George Baryannis
2022	—	`ed.`	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), Genova-Nervi, Italy, September 5, 2022. Datalog Mario Alviano, Andreas Pieris
2022	—	`conf`	Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022	J	`jnl`	ValAsp: a tool for data validation in Answer Set Programming. CoRR Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2022	—	`conf`	Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA Mario Alviano, Laura Giordano, Daniele Theseider Dupré
2021	—	`conf`	A Speech about Generative Datalog and Non-measurable Sets. ICLP Workshops Mario Alviano, Arnel D. Zamayla
2021	J	`jnl`	Aggregate Semantics for Propositional Answer Set Programs. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2021	C	`conf`	Data Validation Meets Answer Set Programming. PADL Mario Alviano, Carmine Dodaro, Arnel D. Zamayla
2021	J	`jnl`	Modal Logic S5 Satisfiability in Answer Set Programming. CoRR Mario Alviano, Sotiris Batsakis, George Baryannis
2021	J	`jnl`	Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. Mario Alviano, Sotiris Batsakis, George Baryannis
2021	J	`jnl`	The pyglaf argumentation reasoner (ICCMA2021). CoRR Mario Alviano
2020	J	`jnl`	A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020	J	`jnl`	A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020	—	`conf`	Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
2020	A*	`conf`	Answer Set Programming with Composed Predicate Names. KR Mario Alviano
2020	—	`ch.`	Large-Scale Ontological Reasoning via Datalog. Applications and Practices in Ontology Design, Extraction, and Reasoning Mario Alviano, Marco Manna
2020	J	`jnl`	Large-scale Ontological Reasoning via Datalog. CoRR Mario Alviano, Marco Manna
2020	J	`jnl`	Optimum stable model search: algorithms and implementation. J. Log. Comput. Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
2020	J	`jnl`	Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale Mario Alviano, Gianluigi Greco, Francesco Scarcello
2020	J	`jnl`	Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae Mario Alviano, Carmine Dodaro
2019	—	`ed.`	AIIA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings AIIA Mario Alviano, Gianluigi Greco, Francesco Scarcello
2019	J	`jnl`	Argumentation Reasoning via Circumscription with Pyglaf. Fundam. Informaticae Mario Alviano
2019	B	`conf`	Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA Mario Alviano, Wolfgang Faber
2019	—	`ed.`	Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. Datalog Mario Alviano, Andreas Pieris
2019	—	`ed.`	Discussion and Doctoral Consortium papers of AIIA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019. DDC@AIIA Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello
2019	B	`conf`	Enhancing DLV for Large-Scale Reasoning. LPNMR Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019	J	`jnl`	Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019	J	`jnl`	Enhancing magic sets with an application to ontological reasoning. CoRR Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
2019	B	`conf`	Evaluation of Disjunctive Programs in WASP. LPNMR Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
2019	J	`jnl`	Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019	J	`jnl`	Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019	—	`conf`	Large Scale DLV: Preliminary Results. CILC Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2019	J	`jnl`	Model Enumeration via Assumption Literals. Fundam. Informaticae Mario Alviano, Carmine Dodaro
2019	A*	`conf`	On the Integration of CP-nets in ASPRIN. IJCAI Mario Alviano, Javier Romero, Torsten Schaub
2019	—	`conf`	Querying Large Expressive Horn Ontologies. SEBD Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018	A*	`conf`	A Hybrid Approach to Optimization in Answer Set Programming. KR Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
2018	J	`jnl`	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018	J	`jnl`	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018	J	`jnl`	Aggregates in Answer Set Programming. Künstliche Intell. Mario Alviano, Wolfgang Faber
2018	J	`jnl`	Algorithms for solving optimization problems in answer set programming. Intelligenza Artificiale Mario Alviano
2018	J	`jnl`	Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018	J	`jnl`	Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018	J	`jnl`	Coalition formation in social environments with logic-based agents. AI Commun. Mario Alviano, Gianluigi Greco, Antonella Guzzo
2018	J	`jnl`	Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale Mario Alviano, Carmine Dodaro, Marco Maratea
2018	A*	`conf`	Preference Relations by Approximation. KR Mario Alviano, Javier Romero, Torsten Schaub
2018	A*	`conf`	Query Answering in Propositional Circumscription. IJCAI Mario Alviano
2018	C	`conf`	Reasoning over Ontologies with DLV. IC3K Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2018	J	`jnl`	Shared aggregate sets in answer set programming. CoRR Mario Alviano, Carmine Dodaro, Marco Maratea
2018	J	`jnl`	Shared aggregate sets in answer set programming. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Marco Maratea
2018	J	`jnl`	The ASP System DLV: Advancements and Applications. Künstliche Intell. Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017	—	`conf`	An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA Mario Alviano, Carmine Dodaro, Marco Maratea
2017	—	`conf`	Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. RCRA@AI*IA Mario Alviano
2017	A*	`conf`	Minimal Undefinedness for Fuzzy Answer Sets. AAAI Mario Alviano, Giovanni Amendola, Rafael Peñaloza
2017	J	`jnl`	Model enumeration in propositional circumscription via unsatisfiable core analysis. CoRR Mario Alviano
2017	J	`jnl`	Model enumeration in propositional circumscription via unsatisfiable core analysis. Theory Pract. Log. Program. Mario Alviano
2017	A*	`conf`	Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS Mario Alviano, Michael Morak, Andreas Pieris
2017	B	`conf`	The ASP System DLV2. LPNMR Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
2017	—	`conf`	The Pyglaf Argumentation Reasoner. ICLP (Technical Communications) Mario Alviano
2017	A*	`conf`	Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. IJCAI Mario Alviano, Carmine Dodaro
2016	—	`conf`	Answer Set Enumeration via Assumption Literals. AI*IA Mario Alviano, Carmine Dodaro
2016	J	`jnl`	Anytime answer set optimization via unsatisfiable core shrinking. CoRR Mario Alviano, Carmine Dodaro
2016	J	`jnl`	Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro
2016	A*	`conf`	Boolean Functions with Ordered Domains in Answer Set Programming. AAAI Mario Alviano, Wolfgang Faber, Hannes Strass
2016	A*	`conf`	Completion of Disjunctive Logic Programs. IJCAI Mario Alviano, Carmine Dodaro
2016	J	`jnl`	Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Fundam. Informaticae Mario Alviano
2016	A*	`conf`	From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI Mario Alviano, Wolfgang Faber, Martin Gebser
2016	A*	`conf`	On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI Mario Alviano, Nicola Leone
2015	A*	`conf`	A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI Mario Alviano, Carmine Dodaro, Francesco Ricca
2015	B	`conf`	Advances in WASP. LPNMR Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
2015	J	`jnl`	Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR Mario Alviano, Nicola Leone
2015	J	`jnl`	Complexity and compilation of GZ-aggregates in answer set programming. Theory Pract. Log. Program. Mario Alviano, Nicola Leone
2015	A*	`conf`	Default Negation for Non-Guarded Existential Rules. PODS Mario Alviano, Andreas Pieris
2015	J	`jnl`	Effectively solving NP-SPEC encodings by translation to ASP. J. Exp. Theor. Artif. Intell. Mario Alviano, Wolfgang Faber
2015	—	`conf`	Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. RCRA@AI*IA Mario Alviano
2015	J	`jnl`	Fuzzy Answer Set Computation via Satisfiability Modulo Theories. CoRR Mario Alviano, Rafael Peñaloza
2015	J	`jnl`	Fuzzy answer set computation via satisfiability modulo theories. Theory Pract. Log. Program. Mario Alviano, Rafael Peñaloza
2015	—	`conf`	JWASP: A New Java-Based ASP Solver. RCRA@AI*IA Mario Alviano, Carmine Dodaro, Francesco Ricca
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR Mario Alviano, Wolfgang Faber, Martin Gebser
2015	J	`jnl`	Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Martin Gebser
2015	A*	`conf`	Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI Mario Alviano, Wolfgang Faber
2015	—	`conf`	Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. RR Mario Alviano, Wolfgang Faber
2014	J	`jnl`	Anytime Computation of Cautious Consequences in Answer Set Programming. CoRR Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	J	`jnl`	Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	J	`jnl`	Complexity of super-coherence problems in ASP. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Stefan Woltran
2014	J	`jnl`	Preliminary Report on WASP 2.0. CoRR Mario Alviano, Carmine Dodaro, Francesco Ricca
2014	J	`jnl`	Semantics and Compilation of Answer Set Programming with Generalized Atoms. CoRR Mario Alviano, Wolfgang Faber
2014	J	`jnl`	Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2013	—	`conf`	Comparing Alternative Solutions for Unfounded Set Propagation in ASP. AI*IA Mario Alviano, Carmine Dodaro, Francesco Ricca
2013	J	`jnl`	Fuzzy answer sets approximations. Theory Pract. Log. Program. Mario Alviano, Rafael Peñaloza
2013	J	`jnl`	Properties of Answer Set Programming with Convex Generalized Atoms. CoRR Mario Alviano, Wolfgang Faber
2013	—	`conf`	Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2013	B	`conf`	The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. LPNMR Mario Alviano, Wolfgang Faber
2013	B	`conf`	The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013	J	`jnl`	Translating NP-SPEC into ASP CoRR Mario Alviano, Wolfgang Faber
2013	B	`conf`	WASP: A Native ASP Solver Based on Constraint Learning. LPNMR Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
2012	J	`jnl`	Complexity of super-coherence problems in ASP CoRR Mario Alviano, Wolfgang Faber, Stefan Woltran
2012	J	`jnl`	Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues CoRR Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012	J	`jnl`	Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna
2012	J	`jnl`	Magic Sets for Disjunctive Datalog Programs CoRR Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012	J	`jnl`	Magic Sets for disjunctive Datalog programs. Artif. Intell. Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone
2012	—	`conf`	Magic-Sets for Datalog with Existential Quantifiers. Datalog Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
2012	J	`jnl`	Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2012	J	`jnl`	The HiLeX System for Semantic Information Extraction. Trans. Large Scale Data Knowl. Centered Syst. Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone
2011	—	`conf`	Complexity of Super-Coherence Problems in Answer Set Programming. CILC Mario Alviano, Wolfgang Faber, Stefan Woltran
2011	J	`jnl`	Dynamic Magic Sets and super-coherent answer set programs. AI Commun. Mario Alviano, Wolfgang Faber
2011	B	`conf`	Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR Mario Alviano, Gianluigi Greco, Nicola Leone
2011	J	`jnl`	Efficient recursive aggregate evaluation in logic programming. Intelligenza Artificiale Mario Alviano
2011	J	`jnl`	Team-building with Answer Set Programming in the Gioia-Tauro Seaport CoRR Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone
2011	—	`conf`	The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni
2011	B	`conf`	The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011	J	`jnl`	Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
2010	J	`jnl`	Disjunctive ASP with Functions: Decidable Queries and Effective Computation CoRR Mario Alviano, Wolfgang Faber, Nicola Leone
2010	J	`jnl`	Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. Mario Alviano, Wolfgang Faber, Nicola Leone
2010	—	`conf`	Dynamic Magic Sets for Disjunctive Datalog Programs. ICLP (Technical Communications) Mario Alviano
2010	J	`jnl`	Dynamic Magic Sets for Super-Consistent Answer Set Programs CoRR Mario Alviano, Wolfgang Faber
2010	—	`conf`	The Disjunctive Datalog System DLV. Datalog Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina
2010	—	`conf`	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR Mario Alviano, Wolfgang Faber, Nicola Leone
2009	—	`conf`	The Maze Generation Problem is NP-complete. ICTCS Mario Alviano
2008	—	`conf`	Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. ASWC Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello