Mario Alviano

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 92

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

CILC

Publications

Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. PADL (2024)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics (2024)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. 164 (2024)
Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC (2024)
Mario Alviano, Andreas Pieris
Selected Papers from Datalog 2.0 2022. Theory Pract. Log. Program. 24 (2) (2024)
Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners
Marketplace Logistics via Answer Set Programming. PADL (2024)
Mario Alviano, Carmine Dodaro, Ilaria R. Vasile
Structured Declarative Language. CILC (2024)
Mario Alviano, Lorenzo Grillo
Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. CILC (2024)
Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
Introducing ASP recipes and ASP Chef. ICLP Workshops (2023)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. CoRR (2023)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR (2023)
Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
Explanations for Answer Set Programming. CoRR (2023)
Mario Alviano
Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks. Algorithms 16 (10) (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC (2023)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320 (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA (2023)
Mario Alviano
Generative Datalog and Answer Set Programming - Extended Abstract. JELIA (2023)
Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
Advancements in xASP, an XAI System for Answer Set Programming. CILC (2023)
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
Generative Datalog with Stable Negation. PODS (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and scalability of defeasible reasoning in 1 many-valued weighted knowledge bases. CoRR (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics (2023)
Mario Alviano, Wolfgang Faber, Martin Gebser
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
ValAsp: A Tool for Data Validation in Answer Set Programming. Theory Pract. Log. Program. 23 (5) (2023)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR (2022)
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA (2022)
Andrea De Seta, Mario Alviano
An Application of ASP for Procedural Content Generation in Video Games. CILC (2022)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
ValAsp: a tool for data validation in Answer Set Programming. CoRR (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA (2022)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR (2022)
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
Generative Datalog with Stable Negation. CoRR (2022)
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
Enumeration of Minimal Models and MUSes in WASP. LPNMR (2022)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21 (5) (2021)
Mario Alviano
The pyglaf argumentation reasoner (ICCMA2021). CoRR (2021)
Mario Alviano, Carmine Dodaro, Arnel Zamayla
Data Validation Meets Answer Set Programming. PADL (2021)
Mario Alviano, Wolfgang Faber, Martin Gebser
Aggregate Semantics for Propositional Answer Set Programs. CoRR (2021)
Mario Alviano, Arnel Zamayla
A Speech about Generative Datalog and Non-measurable Sets. ICLP Workshops (2021)
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal Logic S5 Satisfiability in Answer Set Programming. CoRR (2021)
Mario Alviano, Marco Manna
Large-scale Ontological Reasoning via Datalog. CoRR (2020)
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA (2020)
Mario Alviano
Answer Set Programming with Composed Predicate Names. KR (2020)
Mario Alviano, Carmine Dodaro
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae 176 (3-4) (2020)
Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30 (4) (2020)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
Mario Alviano, Gianluigi Greco, Francesco Scarcello
Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale 14 (2) (2020)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR (2020)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR (2019)
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
Querying Large Expressive Horn Ontologies. SEBD (2019)
Mario Alviano, Wolfgang Faber
Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19 (5-6) (2019)
Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari
Enhancing magic sets with an application to ontological reasoning. CoRR (2019)
Mario Alviano, Javier Romero, Torsten Schaub
On the Integration of CP-nets in ASPRIN. IJCAI (2019)
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
Large Scale DLV: Preliminary Results. CILC (2019)
Mario Alviano, Carmine Dodaro
Model Enumeration via Assumption Literals. Fundam. Informaticae 167 (1-2) (2019)
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
Evaluation of Disjunctive Programs in WASP. LPNMR (2019)
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
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Mario Alviano
Argumentation Reasoning via Circumscription with Pyglaf. Fundam. Informaticae 167 (1-2) (2019)
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. 19 (5-6) (2019)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR (2018)
Mario Alviano, Javier Romero, Torsten Schaub
Preference Relations by Approximation. KR (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR (2018)
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
A Hybrid Approach to Optimization in Answer Set Programming. KR (2018)
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
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32 (2-3) (2018)
Mario Alviano
Algorithms for solving optimization problems in answer set programming. Intelligenza Artificiale 12 (1) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12 (2) (2018)
Mario Alviano, Gianluigi Greco, Antonella Guzzo
Coalition formation in social environments with logic-based agents. AI Commun. 31 (5) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. CoRR (2018)
Mario Alviano, Wolfgang Faber
Aggregates in Answer Set Programming. Künstliche Intell. 32 (2-3) (2018)
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. 18 (3-4) (2018)
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
Reasoning over Ontologies with DLV. IC3K (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18 (3-4) (2018)
Mario Alviano, Carmine Dodaro, Marco Maratea
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18 (3-4) (2018)
Mario Alviano
Query Answering in Propositional Circumscription. IJCAI (2018)
Mario Alviano
Model enumeration in propositional circumscription via unsatisfiable core analysis. CoRR (2017)
Mario Alviano, Carmine Dodaro, Marco Maratea
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA (2017)
Mario Alviano, Giovanni Amendola, Rafael Peñaloza
Minimal Undefinedness for Fuzzy Answer Sets. AAAI (2017)
Mario Alviano, Carmine Dodaro
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. IJCAI (2017)
Mario Alviano
Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. RCRA@AI*IA (2017)
Mario Alviano, Michael Morak, Andreas Pieris
Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS (2017)
Mario Alviano
Model enumeration in propositional circumscription via unsatisfiable core analysis. Theory Pract. Log. Program. 17 (5-6) (2017)
Mario Alviano
The Pyglaf Argumentation Reasoner. ICLP (Technical Communications) (2017)
Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
The ASP System DLV2. LPNMR (2017)
Mario Alviano, Wolfgang Faber, Hannes Strass
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI (2016)
Mario Alviano
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Fundam. Informaticae 149 (1-2) (2016)
Mario Alviano, Carmine Dodaro
Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Log. Program. 16 (5-6) (2016)
Mario Alviano, Carmine Dodaro
Completion of Disjunctive Logic Programs. IJCAI (2016)
Mario Alviano, Carmine Dodaro
Anytime answer set optimization via unsatisfiable core shrinking. CoRR (2016)
Mario Alviano, Carmine Dodaro
Answer Set Enumeration via Assumption Literals. AI*IA (2016)
Mario Alviano, Wolfgang Faber, Martin Gebser
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI (2016)
Mario Alviano, Nicola Leone
On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI (2016)
Mario Alviano, Wolfgang Faber, Martin Gebser
Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR (2015)
Mario Alviano
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. RCRA@AI*IA (2015)
Mario Alviano, Nicola Leone
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR (2015)
Mario Alviano, Wolfgang Faber
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI (2015)
Mario Alviano, Carmine Dodaro, Francesco Ricca
JWASP: A New Java-Based ASP Solver. RCRA@AI*IA (2015)
Mario Alviano, Rafael Peñaloza
Fuzzy answer set computation via satisfiability modulo theories. Theory Pract. Log. Program. 15 (4-5) (2015)
Mario Alviano, Andreas Pieris
Default Negation for Non-Guarded Existential Rules. PODS (2015)
Mario Alviano, Rafael Peñaloza
Fuzzy Answer Set Computation via Satisfiability Modulo Theories. CoRR (2015)

Mario Alviano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mario Alviano