Mario Alviano
Università della Calabria
H-index: 24
Europe-Italy
Top articles of Mario Alviano
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Selected Papers from Datalog 2.0 2022 | Theory and Practice of Logic Programming | MARIO ALVIANO ANDREAS PIERIS | 2024/3 |
Marketplace Logistics via Answer Set Programming | Mario Alviano Danilo Amendola Luis Angel Rodriguez Reiners | 2024/1/10 | |
Rethinking Answer Set Programming Templates | Mario Alviano Giovambattista Ianni Francesco Pacenza Jessica Zangari | 2024/1/10 | |
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality | International Journal of Approximate Reasoning | Mario Alviano Francesco Bartoli Marco Botta Roberto Esposito Laura Giordano | 2024/1/1 |
Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023 |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes | Artificial Intelligence | Mario Alviano Carmine Dodaro Salvatore Fiorentino Alessandro Previti Francesco Ricca | 2023/7/1 |
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023/9/20 | |
Preferential reasoning with typicality in ASP over weighted argumentation graphs in a gradual semantics | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023 | |
Advancements in xASP, an XAI System for Answer Set Programming | Proceedings of the 38th Italian Conference on Computational Logic, CEUR Workshop Proceedings | Mario Alviano Ly Ly Trieu Tran Son Marcello Balduccini | 2023/6/21 |
Generative Datalog and Answer Set Programming–Extended Abstract | Mario Alviano | 2023/9/20 | |
Introducing ASP recipes and ASP chef | Proceedings of the International Conference on Logic Programming | Mario Alviano Davide Cirimele Luis Angel Rodriguez Reiners | 2023 |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023/6/21 | |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023/9/2 | |
Aggregate semantics for propositional answer set programs | Theory and Practice of Logic Programming | Mario Alviano Wolfgang Faber Martin Gebser | 2023/1 |
Generative datalog with stable negation | Mario Alviano Matthias Lanzinger Michael Morak Andreas Pieris | 2023/6/18 | |
Valasp: A tool for data validation in answer set programming | Theory and Practice of Logic Programming | Mario Alviano Carmine Dodaro Arnel Zamayla | 2023/9 |
Explaining gradual argumentation semantics in a conditional multi-preferential logic with typicality | Mario Alviano Laura Giordano Daniele Theseider Dupré | 2023 | |
Explanations for answer set programming | arXiv preprint arXiv:2308.15879 | Mario Alviano Ly Ly Trieu Tran Cao Son Marcello Balduccini | 2023/8/30 |
Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks | Algorithms | Mario Alviano | 2023/9/30 |
Enumeration of minimal models and MUSes in WASP | Mario Alviano Carmine Dodaro Salvatore Fiorentino Alessandro Previti Francesco Ricca | 2022/8/29 |