Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. - Mario Alviano; Giovambattista Ianni; Marco Marano; Alessandra Martello (ASWC, 2008)

The Maze Generation Problem is NP-complete. - Mario Alviano (ICTCS, 2009)

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (RCRA@CPAIOR, 2010)

The Disjunctive Datalog System DLV. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer; Giorgio Terracina (Datalog, 2010)

Dynamic Magic Sets for Disjunctive Datalog Programs. - Mario Alviano (ICLP (Technical Communications), 2010)

Dynamic Magic Sets for Super-Consistent Answer Set Programs - Mario Alviano; Wolfgang Faber 001 (CoRR, 2010)

Disjunctive ASP with functions: Decidable queries and effective computation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2010)

Complexity of Super-Coherence Problems in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001; Stefan Woltran (CILC, 2011)

The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. - Mario Alviano; Gianluigi Greco; Nicola Leone (LPNMR, 2011)

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 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Dynamic Magic Sets and super-coherent answer set programs. - Mario Alviano; Wolfgang Faber 001 (AI Commun., 2011)

Efficient recursive aggregate evaluation in logic programming. - Mario Alviano (Intelligenza Artificiale, 2011)

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. - Mario Alviano; Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (J. Artif. Intell. Res., 2011)

Magic-Sets for Datalog with Existential Quantifiers. - Mario Alviano; Nicola Leone; Marco Manna; Giorgio Terracina; Pierfrancesco Veltri (Datalog, 2012)

Magic Sets for disjunctive Datalog programs. - Mario Alviano; Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (Artif. Intell., 2012)

The HiLeX System for Semantic Information Extraction. - Marco Manna; Ermelinda Oro; Massimo Ruffolo; Mario Alviano; Nicola Leone (Trans. Large Scale Data Knowl. Centered Syst., 2012)

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2012)

Team-building with answer set programming in the Gioia-Tauro seaport. - Francesco Ricca; Giovanni Grasso 001; Mario Alviano; Marco Manna; Vincenzino Lio; Salvatore Iiritano; Nicola Leone (Theory Pract. Log. Program., 2012)

Comparing Alternative Solutions for Unfounded Set Propagation in ASP. - Mario Alviano; Carmine Dodaro; Francesco Ricca (AI*IA, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - 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; et al. (LPNMR, 2013)

WASP: A Native ASP Solver Based on Constraint Learning. - Mario Alviano; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (LPNMR, 2013)

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. - Mario Alviano; Wolfgang Faber 001 (LPNMR, 2013)

Query Answering over Disjunctive Datalog with Existential Quantifiers. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (SEBD, 2013)

Properties of Answer Set Programming with Convex Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (CoRR, 2013)

Translating NP-SPEC into ASP - Mario Alviano; Wolfgang Faber 001 (CoRR, 2013)

Fuzzy answer sets approximations. - Mario Alviano; Rafael Peñaloza (Theory Pract. Log. Program., 2013)

Preliminary Report on WASP 2.0. - Mario Alviano; Carmine Dodaro; Francesco Ricca (CoRR, 2014)

Semantics and Compilation of Answer Set Programming with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (CoRR, 2014)

Anytime Computation of Cautious Consequences in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Francesco Ricca (Theory Pract. Log. Program., 2014)

Complexity of super-coherence problems in ASP. - Mario Alviano; Wolfgang Faber 001; Stefan Woltran (Theory Pract. Log. Program., 2014)

JWASP: A New Java-Based ASP Solver. - Mario Alviano; Carmine Dodaro; Francesco Ricca (RCRA@AI*IA, 2015)

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. - Mario Alviano; Carmine Dodaro; Francesco Ricca (IJCAI, 2015)

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. - Mario Alviano; Wolfgang Faber 001 (IJCAI, 2015)

Advances in WASP. - Mario Alviano; Carmine Dodaro; Nicola Leone; Francesco Ricca (LPNMR, 2015)

Default Negation for Non-Guarded Existential Rules. - Mario Alviano; Andreas Pieris (PODS, 2015)

Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (RR, 2015)

Effectively solving NP-SPEC encodings by translation to ASP. - Mario Alviano; Wolfgang Faber 001 (J. Exp. Theor. Artif. Intell., 2015)

Rewriting recursive aggregates in answer set programming: back to monotonicity. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2015)

Complexity and compilation of GZ-aggregates in answer set programming. - Mario Alviano; Nicola Leone (Theory Pract. Log. Program., 2015)

Fuzzy answer set computation via satisfiability modulo theories. - Mario Alviano; Rafael Peñaloza (Theory Pract. Log. Program., 2015)

Boolean Functions with Ordered Domains in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001; Hannes Strass (AAAI, 2016)

Answer Set Enumeration via Assumption Literals. - Mario Alviano; Carmine Dodaro (AI*IA, 2016)

Completion of Disjunctive Logic Programs. - Mario Alviano; Carmine Dodaro (IJCAI, 2016)

From Non-Convex Aggregates to Monotone Aggregates in ASP. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (IJCAI, 2016)

On the Properties of GZ-Aggregates in Answer Set Programming. - Mario Alviano; Nicola Leone (IJCAI, 2016)

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. - Mario Alviano (Fundam. Informaticae, 2016)

Anytime answer set optimization via unsatisfiable core shrinking. - Mario Alviano; Carmine Dodaro (Theory Pract. Log. Program., 2016)

Minimal Undefinedness for Fuzzy Answer Sets. - Mario Alviano; Giovanni Amendola; Rafael Peñaloza (AAAI, 2017)

Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. - Mario Alviano (RCRA@AI*IA, 2017)

An Advanced Answer Set Programming Encoding for Nurse Scheduling. - Mario Alviano; Carmine Dodaro; Marco Maratea (AI*IA, 2017)

The Pyglaf Argumentation Reasoner. - Mario Alviano (ICLP (Technical Communications), 2017)

Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. - Mario Alviano; Carmine Dodaro (IJCAI, 2017)

The ASP System DLV2. - Mario Alviano; Francesco Calimeri; Carmine Dodaro; Davide Fuscà; Nicola Leone; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; Jessica Zangari (LPNMR, 2017)

Stable Model Semantics for Tuple-Generating Dependencies Revisited. - Mario Alviano; Michael Morak; Andreas Pieris (PODS, 2017)

Model enumeration in propositional circumscription via unsatisfiable core analysis. - Mario Alviano (Theory Pract. Log. Program., 2017)

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; et al. (IC3K, 2018)

Query Answering in Propositional Circumscription. - Mario Alviano (IJCAI, 2018)

Preference Relations by Approximation. - Mario Alviano; Javier Romero 003; Torsten Schaub (KR, 2018)

A Hybrid Approach to Optimization in Answer Set Programming. - Paul Saikko; Carmine Dodaro; Mario Alviano; Matti Järvisalo (KR, 2018)

Coalition formation in social environments with logic-based agents. - Mario Alviano; Gianluigi Greco; Antonella Guzzo (AI Commun., 2018)

Algorithms for solving optimization problems in answer set programming. - Mario Alviano (Intelligenza Artificiale, 2018)

Nurse (Re)scheduling via answer set programming. - Mario Alviano; Carmine Dodaro; Marco Maratea (Intelligenza Artificiale, 2018)

The ASP System DLV: Advancements and Applications. - Weronika T. Adrian; Mario Alviano; Francesco Calimeri; Bernardo Cuteri; Carmine Dodaro; Wolfgang Faber 001; Davide Fuscà; Nicola Leone; Marco Manna; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; et al. (Künstliche Intell., 2018)

Aggregates in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001 (Künstliche Intell., 2018)

Cautious reasoning in ASP via minimal models and unsatisfiable cores. - Mario Alviano; Carmine Dodaro; Matti Järvisalo; Marco Maratea; Alessandro Previti (Theory Pract. Log. Program., 2018)

Shared aggregate sets in answer set programming. - Mario Alviano; Carmine Dodaro; Marco Maratea (Theory Pract. Log. Program., 2018)

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. - George Baryannis; Ilias Tachmazidis; Sotiris Batsakis; Grigoris Antoniou; Mario Alviano; Timos Sellis; Pei-Wei Tsai (Theory Pract. Log. Program., 2018)

Large Scale DLV: Preliminary Results. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; et al. (CILC, 2019)

On the Integration of CP-nets in ASPRIN. - Mario Alviano; Javier Romero 003; Torsten Schaub (IJCAI, 2019)

Chain Answer Sets for Logic Programs with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (JELIA, 2019)

Evaluation of Disjunctive Programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2019)

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; et al. (LPNMR, 2019)

Querying Large Expressive Horn Ontologies. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; et al. (SEBD, 2019)

Argumentation Reasoning via Circumscription with Pyglaf. - Mario Alviano (Fundam. Informaticae, 2019)

Model Enumeration via Assumption Literals. - Mario Alviano; Carmine Dodaro (Fundam. Informaticae, 2019)

Inconsistency Proofs for ASP: The ASP - DRUPE Format. - Mario Alviano; Carmine Dodaro; Johannes Klaus Fichte; Markus Hecher; Tobias Philipp; Jakob Rath (Theory Pract. Log. Program., 2019)

Enhancing Magic Sets with an Application to Ontological Reasoning. - Mario Alviano; Nicola Leone; Pierfrancesco Veltri; Jessica Zangari (Theory Pract. Log. Program., 2019)

Evaluation of disjunctive programs in WASP. - Mario Alviano; Giovanni Amendola; Carmine Dodaro; Nicola Leone; Marco Maratea; Francesco Ricca (Zenodo, 2019)

Answer Set Programming in Healthcare: Extended Overview. - Mario Alviano; Riccardo Bertolucci; Matteo Cardellini; Carmine Dodaro; Giuseppe Galatà; Muhammad Kamran Khan; Marco Maratea; Marco Mochi; Victoria Morozan; Ivan Porro; Marco Schouten (IPS-RCRA@AI*IA, 2020)

Answer Set Programming with Composed Predicate Names. - Mario Alviano (KR, 2020)

Large-scale Ontological Reasoning via Datalog. - Mario Alviano; Marco Manna (CoRR, 2020)

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. - Mario Alviano; Carmine Dodaro (Fundam. Informaticae, 2020)

Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. - Mario Alviano; Gianluigi Greco; Francesco Scarcello (Intelligenza Artificiale, 2020)

Optimum stable model search: algorithms and implementation. - Mario Alviano; Carmine Dodaro; João Marques-Silva 001; Francesco Ricca (J. Log. Comput., 2020)

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. - George Baryannis; Ilias Tachmazidis; Sotiris Batsakis; Grigoris Antoniou; Mario Alviano; Emmanuel Papadakis 002 (Theory Pract. Log. Program., 2020)

Large-Scale Ontological Reasoning via Datalog. - Mario Alviano; Marco Manna (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

A Speech about Generative Datalog and Non-measurable Sets. - Mario Alviano; Arnel D. Zamayla (ICLP Workshops, 2021)

Data Validation Meets Answer Set Programming. - Mario Alviano; Carmine Dodaro; Arnel D. Zamayla (PADL, 2021)

The pyglaf argumentation reasoner (ICCMA2021). - Mario Alviano (CoRR, 2021)

Modal Logic S5 Satisfiability in Answer Set Programming. - Mario Alviano; Sotiris Batsakis; George Baryannis (Theory Pract. Log. Program., 2021)

Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2022)

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Valentina Gliozzi; Daniele Theseider Dupré (XAI.it@AI*IA, 2022)

An Application of ASP for Procedural Content Generation in Video Games. - Andrea De Seta; Mario Alviano (CILC, 2022)

Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. - Mario Alviano; Sotiris Batsakis; George Baryannis (LPNMR, 2022)

Enumeration of Minimal Models and MUSes in WASP. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (LPNMR, 2022)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2022)

Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2023)

Advancements in xASP, an XAI System for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (CILC, 2023)

Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2023)

Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (ICLP Workshops, 2023)

Introducing ASP recipes and ASP Chef. - Mario Alviano; Davide Cirimele; Luis Angel Rodriguez Reiners (ICLP Workshops, 2023)

Generative Datalog and Answer Set Programming - Extended Abstract. - Mario Alviano (JELIA, 2023)

Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (JELIA, 2023)

Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (NMR, 2023)

Generative Datalog with Stable Negation. - Mario Alviano; Matthias Lanzinger; Michael Morak; Andreas Pieris (PODS, 2023)

Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks. - Mario Alviano (Algorithms, 2023)

Explanations for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (ICLP, 2023)

Aggregate Semantics for Propositional Answer Set Programs. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2023)

ASP and subset minimality: Enumeration, cautious reasoning and MUSes. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Alessandro Previti; Francesco Ricca (Artif. Intell., 2023)

ValAsp: A Tool for Data Validation in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Arnel D. Zamayla (Theory Pract. Log. Program., 2023)

Towards Temporal Many-valued Conditional Logics for Gradual Argumentation: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (AI³@AI*IA, 2024)

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (CILC, 2024)

Structured Declarative Language. - Mario Alviano; Carmine Dodaro; Ilaria R. Vasile (CILC, 2024)

Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. - Mario Alviano; Lorenzo Grillo (CILC, 2024)

Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Description Logics, 2024)

Efficient Compliance Computation in Probabilistic Declarative Specifications. - Mario Alviano; Antonio Ielo; Francesco Ricca (ICLP Workshops, 2024)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (IJCAI, 2024)

Answer Set Programming and Large Language Models interaction with YAML: Second Report. - Mario Alviano; Fabrizio Lo Scudo; Lorenzo Grillo; Luis Angel Rodriguez Reiners (KoDis+CAKR+SYNERGY@KR, 2024)

ASP Chef: Draw and Expand. - Mario Alviano; Luis Angel Rodriguez Reiners (KR, 2024)

Integrating Structured Declarative Language (SDL) into ASP Chef. - Mario Alviano; Paola Guarasci; Luis Angel Rodriguez Reiners; Ilaria R. Vasile (LPNMR, 2024)

Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. - Mario Alviano; Susana Hahn; Orkunt Sabuncu; Hannes Weichelt (LPNMR, 2024)

Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. - Mario Alviano; Luis Angel Rodriguez Reiners (LPNMR, 2024)

Temporal Many-valued Conditional Logics: an Abridged Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (OVERLAY, 2024)

Marketplace Logistics via Answer Set Programming. - Mario Alviano; Danilo Amendola; Luis Angel Rodriguez Reiners (PADL, 2024)

Rethinking Answer Set Programming Templates. - Mario Alviano; Giovambattista Ianni; Francesco Pacenza; Jessica Zangari (PADL, 2024)

Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper). - Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Temporal Many-valued Conditional Logics: a Preliminary Report. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2024)

Addressing marketplace logistic tasks in answer set programming. - Mario Alviano; Danilo Amendola; Luis Angel Rodriguez Reiners (Intelligenza Artificiale, 2024)

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (Intelligenza Artificiale, 2024)

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (J. Log. Comput., 2024)

The XAI system for answer set programming xASP2. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (J. Log. Comput., 2024)

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. - Mario Alviano; Francesco Bartoli; Marco Botta; Roberto Esposito; Laura Giordano 001; Daniele Theseider Dupré (Int. J. Approx. Reason., 2024)

Selected Papers from Datalog 2.0 2022. - Mario Alviano; Andreas Pieris (Theory Pract. Log. Program., 2024)

AMO-aware Aggregates in Answer Set Programming. - Mario Alviano; Carmine Dodaro; Salvatore Fiorentino; Marco Maratea (Zenodo, 2024)

Improve Parallel Resistance of Hashcash Tree. - Mario Alviano; Giada Gabriele (Cryptogr., 2024)

Querying and Visualizing Digital Twins with ASP and ASP Chef: Preliminary Report. - Mario Alviano; Paola Guarasci (CILC, 2025)

Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef. - Mario Alviano; Pietro Macrì (CILC, 2025)

ASP Chef for Water Waste Monitoring. - Mario Alviano; Luis Angel Rodriguez Reiners (CILC, 2025)

ASP Chef grows Mustache to look better. - Mario Alviano; Wolfgang Faber 001; Luis Angel Rodriguez Reiners (CoRR, 2025)

A framework for Conditional Reasoning in Answer Set Programming. - Mario Alviano; Laura Giordano 001; Daniele Theseider Dupré (CoRR, 2025)