ALVIANO, Mario
ALVIANO, Mario
Dipartimento di Matematica e Informatica
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming
2020-01-01 Baryannis, G.; Tachmazidis, I.; Batsakis, S.; Antoniou, G.; Alviano, M.; Papadakis, E.
A Hybrid Approach to Optimization in Answer Set Programming
2018-01-01 Saikko, Paul; Dodaro, Carmine; Alviano, Mario; Jarvisalo, Matti
A Logic-Based System for e-Tourism
2010-01-01 Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size
2015-01-01 Alviano, Mario; Dodaro, C; Ricca, Francesco
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.
A speech about generative datalog and non-measurable sets
2021-01-01 Alviano, M.; Zamayla, A.
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
2018-01-01 George, Baryannis; Tachmazidis, Ilias; Sotiris, Batsakis; Grigoris, Antoniou; Alviano, Mario; Timos, Sellis; Pei-Wei, Tsai
Advancements in xASP, an XAI System for Answer Set Programming
2023-01-01 Alviano, M.; Trieu, L. L.; Son, T.; Balduccini, M.
Advances in WASP
2015-01-01 Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco
Aggregate Semantics for Propositional Answer Set Programs
2022-01-01 Alviano, M. A. R. I. O.; Faber, W.; Gebser, M.
Aggregates in Answer Set Programming
2018-01-01 Alviano, M.; Faber, W.
Algorithms for solving optimization problems in answer set programming
2018-01-01 Alviano, Mario
AMO-aware Aggregates in Answer Set Programming
2024-01-01 Alviano, M.; Dodaro, C.; Fiorentino, S.; Maratea, M.
An advanced answer set programming encoding for nurse scheduling
2017-01-01 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
An Application of ASP for Procedural Content Generation in Video Games
2022-01-01 De Seta, A.; Alviano, M.
Answer set enumeration via assumption literals
2016-01-01 Alviano, Mario; Dodaro, C.
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets
2024-01-01 Alviano, M.; Hahn, S.; Sabuncu, O.; Weichelt, H.
Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report
2024-01-01 Alviano, M.; Grillo, L.
Answer set programming in healthcare: Extended overview
2020-01-01 Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M.
Answer set programming with composed predicate names
2020-01-01 Alviano, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Generalised approach for encoding and reasoning with qualitative theories in answer set programming | 1-gen-2020 | Baryannis, G.; Tachmazidis, I.; Batsakis, S.; Antoniou, G.; Alviano, M.; Papadakis, E. | |
| A Hybrid Approach to Optimization in Answer Set Programming | 1-gen-2018 | Saikko, Paul; Dodaro, Carmine; Alviano, Mario; Jarvisalo, Matti | |
| A Logic-Based System for e-Tourism | 1-gen-2010 | Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola | |
| A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size | 1-gen-2015 | Alviano, Mario; Dodaro, C; Ricca, Francesco | |
| A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality | 1-gen-2024 | Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Theseider Dupre, D. | |
| A speech about generative datalog and non-measurable sets | 1-gen-2021 | Alviano, M.; Zamayla, A. | |
| A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming | 1-gen-2018 | George, Baryannis; Tachmazidis, Ilias; Sotiris, Batsakis; Grigoris, Antoniou; Alviano, Mario; Timos, Sellis; Pei-Wei, Tsai | |
| Advancements in xASP, an XAI System for Answer Set Programming | 1-gen-2023 | Alviano, M.; Trieu, L. L.; Son, T.; Balduccini, M. | |
| Advances in WASP | 1-gen-2015 | Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco | |
| Aggregate Semantics for Propositional Answer Set Programs | 1-gen-2022 | Alviano, M. A. R. I. O.; Faber, W.; Gebser, M. | |
| Aggregates in Answer Set Programming | 1-gen-2018 | Alviano, M.; Faber, W. | |
| Algorithms for solving optimization problems in answer set programming | 1-gen-2018 | Alviano, Mario | |
| AMO-aware Aggregates in Answer Set Programming | 1-gen-2024 | Alviano, M.; Dodaro, C.; Fiorentino, S.; Maratea, M. | |
| An advanced answer set programming encoding for nurse scheduling | 1-gen-2017 | Alviano, Mario; Dodaro, Carmine; Maratea, Marco | |
| An Application of ASP for Procedural Content Generation in Video Games | 1-gen-2022 | De Seta, A.; Alviano, M. | |
| Answer set enumeration via assumption literals | 1-gen-2016 | Alviano, Mario; Dodaro, C. | |
| Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets | 1-gen-2024 | Alviano, M.; Hahn, S.; Sabuncu, O.; Weichelt, H. | |
| Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report | 1-gen-2024 | Alviano, M.; Grillo, L. | |
| Answer set programming in healthcare: Extended overview | 1-gen-2020 | Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M. | |
| Answer set programming with composed predicate names | 1-gen-2020 | Alviano, M. |