Book chapters
Mario Alviano, Francesco Calimeri, Giovambattista Ianni , Wolfgang Faber, and Nicola Leone.
Function Symbols in ASP: Overview and Perspectives.
In Gerd Brewka, Victor Marek, and Mirek Truszczynski, editors, Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, pages 1-24. College Publications, 2011.
Function Symbols in ASP: Overview and Perspectives.
In Gerd Brewka, Victor Marek, and Mirek Truszczynski, editors, Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, pages 1-24. College Publications, 2011.
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina.
The Disjunctive Datalog System DLV.
In Georg Gottlob, editor, Datalog 2.0, volume 6702 of Lecture Notes in Computer Science, pages 282-301. Springer Berlin/Heidelberg, 2011.
The Disjunctive Datalog System DLV.
In Georg Gottlob, editor, Datalog 2.0, volume 6702 of Lecture Notes in Computer Science, pages 282-301. Springer Berlin/Heidelberg, 2011.