ALVIANO, Mario

ALVIANO, Mario  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.031 secondi).
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 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
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
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 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.
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 1-gen-2023 Alviano, M.; Dodaro, C.; Fiorentino, S.; Previti, A.; Ricca, F.
Boolean Functions with Ordered Domains in Answer Set Programming 1-gen-2016 Alviano, Mario; Faber, Wolfgang; Strass, H.