 | 2012 |
| 15 |  | Mario Alviano,
Wolfgang Faber,
Gianluigi Greco,
Nicola Leone:
Magic Sets for Disjunctive Datalog Programs
CoRR abs/1204.6346: (2012) |
| 14 |  | Marco Manna,
Ermelinda Oro,
Massimo Ruffolo,
Mario Alviano,
Nicola Leone:
The HiLeX System for Semantic Information Extraction.
T. Large-Scale Data- and Knowledge-Centered Systems 5: 91-125 (2012) |
| 2011 |
| 13 |  | Mario Alviano,
Gianluigi Greco,
Nicola Leone:
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.
LPNMR 2011: 148-160 |
| 12 |  | Francesco Calimeri,
Giovambattista Ianni,
Francesco Ricca,
Mario Alviano,
Annamaria Bria,
Gelsomina Catalano,
Susanna Cozza,
Wolfgang Faber,
Onofrio Febbraro,
Nicola Leone,
Marco Manna,
Alessandra Martello,
Claudio Panetta,
Simona Perri,
Kristian Reale,
Maria Carmela Santoro,
Marco Sirianni,
Giorgio Terracina,
Pierfrancesco Veltri:
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR 2011: 388-403 |
| 11 |  | Mario Alviano,
Wolfgang Faber:
Dynamic Magic Sets and super-coherent answer set programs.
AI Commun. 24(2): 125-145 (2011) |
| 10 |  | Francesco Ricca,
Giovanni Grasso,
Mario Alviano,
Marco Manna,
Vincenzino Lio,
Salvatore Iiritano,
Nicola Leone:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
CoRR abs/1101.4554: (2011) |
| 9 |  | Mario Alviano:
Efficient recursive aggregate evaluation in logic programming.
Intelligenza Artificiale 5(2): 207-215 (2011) |
| 8 |  | Mario Alviano,
Francesco Calimeri,
Wolfgang Faber,
Nicola Leone,
Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res. (JAIR) 42: 487-527 (2011) |
| 2010 |
| 7 |  | Mario Alviano,
Wolfgang Faber,
Nicola Leone,
Simona Perri,
Gerald Pfeifer,
Giorgio Terracina:
The Disjunctive Datalog System DLV.
Datalog 2010: 282-301 |
| 6 |  | Mario Alviano:
Dynamic Magic Sets for Disjunctive Datalog Programs.
ICLP (Technical Communications) 2010: 226-235 |
| 5 |  | Mario Alviano,
Wolfgang Faber,
Nicola Leone:
Disjunctive ASP with Functions: Decidable Queries and Effective Computation
CoRR abs/1007.4028: (2010) |
| 4 |  | Mario Alviano,
Wolfgang Faber:
Dynamic Magic Sets for Super-Consistent Answer Set Programs
CoRR abs/1011.4377: (2010) |
| 3 |  | Mario Alviano,
Wolfgang Faber,
Nicola Leone:
Disjunctive ASP with functions: Decidable queries and effective computation.
TPLP 10(4-6): 497-512 (2010) |
| 2009 |
| 2 |  | Mario Alviano:
The Maze Generation Problem is NP-complete.
ICTCS 2009: 12-18 |
| 2008 |
| 1 |  | Mario Alviano,
Giovambattista Ianni,
Marco Marano,
Alessandra Martello:
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics.
ASWC 2008: 106-121 |