Mario Alviano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
10
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | A Map-Summarize Framework for Answer Set Verbalization. | Mario Alviano, Matteo Capalbo, Sebastiano A. Piccolo |
| 2026 | KR | ALM-ASP: A Functional Agentic Architecture for Answer Set Programming. | Luis Angel Rodriguez Reiners, Alice Tarzariol, Mario Alviano, Manuel A. Borroto Santana, Konstantin Schekotihin |
| 2025 | ICLP | Temporal Conditional Reasoning with Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2025 | ICLP | Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk). | Mario Alviano |
| 2025 | ICLP | A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project. | Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo, Sebastiano A. Piccolo |
| 2025 | ICLP | ASP Chef Creates Surveys. | Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners |
| 2025 | IJCAI | Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language. | Mario Alviano, Lorenzo Grillo, Fabrizio Lo Scudo, Luis Angel Rodriguez Reiners |
| 2025 | IJCAI | ASP Chef Chats with Large Language Models. | Mario Alviano, Pietro Macr, Luis Angel Rodriguez Reiners |
| 2025 | KR | Model Checker for Recursive Aggregates. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino |
| 2024 | ICLP | Efficient Compliance Computation in Probabilistic Declarative Specifications. | Mario Alviano, Antonio Ielo, Francesco Ricca |
| 2024 | IJCAI | AMO-aware Aggregates in Answer Set Programming. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea |
| 2024 | KR | ASP Chef: Draw and Expand. | Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | LPNMR | Integrating Structured Declarative Language (SDL) into ASP Chef. | Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners, Ilaria R. Vasile |
| 2024 | LPNMR | Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. | Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt |
| 2024 | LPNMR | Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. | Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | PADL | Marketplace Logistics via Answer Set Programming. | Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners |
| 2024 | PADL | Rethinking Answer Set Programming Templates. | Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
| 2023 | ICLP | Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | ICLP | Introducing ASP recipes and ASP Chef. | Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners |
| 2023 | JELIA | Generative Datalog and Answer Set Programming - Extended Abstract. | Mario Alviano |
| 2023 | JELIA | Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2023 | PODS | Generative Datalog with Stable Negation. | Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris |
| 2022 | LPNMR | Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. | Mario Alviano, Sotiris Batsakis, George Baryannis |
| 2022 | LPNMR | Enumeration of Minimal Models and MUSes in WASP. | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
| 2021 | ICLP | A Speech about Generative Datalog and Non-measurable Sets. | Mario Alviano, Arnel D. Zamayla |
| 2021 | PADL | Data Validation Meets Answer Set Programming. | Mario Alviano, Carmine Dodaro, Arnel D. Zamayla |
| 2020 | KR | Answer Set Programming with Composed Predicate Names. | Mario Alviano |
| 2019 | IJCAI | On the Integration of CP-nets in ASPRIN. | Mario Alviano, Javier Romero, Torsten Schaub |
| 2019 | JELIA | Chain Answer Sets for Logic Programs with Generalized Atoms. | Mario Alviano, Wolfgang Faber |
| 2019 | LPNMR | Evaluation of Disjunctive Programs in WASP. | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2019 | LPNMR | Enhancing DLV for Large-Scale Reasoning. | 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 |
| 2018 | IC3K | Reasoning over Ontologies with DLV. | 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 | IJCAI | Query Answering in Propositional Circumscription. | Mario Alviano |
| 2018 | KR | Preference Relations by Approximation. | Mario Alviano, Javier Romero, Torsten Schaub |
| 2018 | KR | A Hybrid Approach to Optimization in Answer Set Programming. | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Jrvisalo |
| 2017 | AAAI | Minimal Undefinedness for Fuzzy Answer Sets. | Mario Alviano, Giovanni Amendola, Rafael Pealoza |
| 2017 | ICLP | The Pyglaf Argumentation Reasoner. | Mario Alviano |
| 2017 | IJCAI | Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. | Mario Alviano, Carmine Dodaro |
| 2017 | LPNMR | The ASP System DLV2. | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
| 2017 | PODS | Stable Model Semantics for Tuple-Generating Dependencies Revisited. | Mario Alviano, Michael Morak, Andreas Pieris |
| 2016 | AAAI | Boolean Functions with Ordered Domains in Answer Set Programming. | Mario Alviano, Wolfgang Faber, Hannes Strass |
| 2016 | IJCAI | Completion of Disjunctive Logic Programs. | Mario Alviano, Carmine Dodaro |
| 2016 | IJCAI | From Non-Convex Aggregates to Monotone Aggregates in ASP. | Mario Alviano, Wolfgang Faber, Martin Gebser |
| 2016 | IJCAI | On the Properties of GZ-Aggregates in Answer Set Programming. | Mario Alviano, Nicola Leone |
| 2015 | IJCAI | A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. | Mario Alviano, Carmine Dodaro, Francesco Ricca |
| 2015 | IJCAI | Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. | Mario Alviano, Wolfgang Faber |
| 2015 | LPNMR | Advances in WASP. | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2015 | PODS | Default Negation for Non-Guarded Existential Rules. | Mario Alviano, Andreas Pieris |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2013 | LPNMR | The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. | Mario Alviano, Wolfgang Faber |
| 2011 | LPNMR | Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. | Mario Alviano, Gianluigi Greco, Nicola Leone |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | 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 |
| 2010 | CPAIOR | Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. | Mario Alviano, Wolfgang Faber, Nicola Leone |
| 2010 | ICLP | Dynamic Magic Sets for Disjunctive Datalog Programs. | Mario Alviano |