ALVIANO, Mario

ALVIANO, Mario  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
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
An advanced answer set programming encoding for nurse scheduling 1-gen-2017 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
Advances in WASP 1-gen-2015 Alviano, Mario; Dodaro, C; Leone, Nicola; Ricca, Francesco
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
Answer set enumeration via assumption literals 1-gen-2016 Alviano, Mario; Dodaro, C.
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.
Anytime answer set optimization via unsatisfiable core shrinking 1-gen-2016 Alviano, Mario; Dodaro, C.
Anytime computation of cautious consequences in answer set programming 1-gen-2014 Alviano, Mario; Dodaro, C; Ricca, Francesco
Argumentation Reasoning via Circumscription with Pyglaf 1-gen-2019 Alviano, M.
The ASP System DLV2 1-gen-2017 Alviano, Mario; Calimeri, Francesco; Dodaro, C; Fuscà, D; Leone, Nicola; Perri, Simona; Ricca, F; Veltri, P; Zangari, J.
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Boolean Functions with Ordered Domains in Answer Set Programming 1-gen-2016 Alviano, Mario; Faber, Wolfgang; Strass, H.
Cautious reasoning in ASP via minimal models and unsatisfiable cores 1-gen-2018 Alviano, Mario; Dodaro, Carmine; Jarvisalo, Matti; Maratea, M; Previti, Alessandro
Chain Answer Sets for Logic Programs with Generalized Atoms 1-gen-2019 Alviano, M.; Faber, W.
Coalition formation in social environments with logic-based agents 1-gen-2018 Alviano, M; Greco, G; Guzzo, A
Comparing alternative solutions for unfounded set propagation in ASP 1-gen-2013 Alviano, Mario; Dodaro, C; Ricca, Francesco
Completion of Disjunctive Logic Programs 1-gen-2016 Alviano, Mario; Dodaro, C.
Complexity and compilation of GZ-aggregates in answer set programming 1-gen-2015 Alviano, Mario; Leone, Nicola