Sfoglia per Autore
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
2024-01-01 Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Theseider Dupre, D.
Rethinking Answer Set Programming Templates
2024-01-01 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
Explanations for Answer Set Programming
2023-01-01 Alviano, M.; Trieu, L. L.; Son, T. C.; Balduccini, M.
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Generative Datalog with Stable Negation
2023-01-01 Alviano, M.; Lanzinger, M.; Morak, M.; Pieris, A.
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Introducing ASP recipes and ASP Chef
2023-01-01 Alviano, M.; Cirimele, D.; Rodriguez Reiners, L. A.
Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks
2023-01-01 Alviano, M.
Generative Datalog and Answer Set Programming – Extended Abstract
2023-01-01 Alviano, M.
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
2023-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Advancements in xASP, an XAI System for Answer Set Programming
2023-01-01 Alviano, M.; Trieu, L. L.; Son, T.; Balduccini, M.
ValAsp: A Tool for Data Validation in Answer Set Programming
2022-01-01 Alviano, M.; Dodaro, C.; Zamayla, A.
Enumeration of Minimal Models and MUSes in WASP
2022-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
An Application of ASP for Procedural Content Generation in Video Games
2022-01-01 De Seta, A.; Alviano, M.
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation (Extended Abstract)
2022-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract)
2022-01-01 Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Gliozzi, V.; Dupre, D. T.
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
2022-01-01 Alviano, M.; Batsakis, S.; Baryannis, G.
Aggregate Semantics for Propositional Answer Set Programs
2022-01-01 Alviano, M. A. R. I. O.; Faber, W.; Gebser, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile