2008 |
9 | EE | Wolfgang Faber,
Gerald Pfeifer,
Nicola Leone,
Tina Dell'Armi,
Giuseppe Ielpa:
Design and Implementation of Aggregate Functions in the DLV System
CoRR abs/0802.3137: (2008) |
8 | EE | Wolfgang Faber,
Gerald Pfeifer,
Nicola Leone,
Tina Dell'Armi,
Giuseppe Ielpa:
Design and implementation of aggregate functions in the DLV system.
TPLP 8(5-6): 545-580 (2008) |
2006 |
7 | EE | Andrea Gualtieri,
Tina Dell'Armi,
Nicola Leone:
Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.
Business Process Management Workshops 2006: 153-163 |
2005 |
6 | EE | Francesco Ricca,
Nicola Leone,
Valerio De Bonis,
Tina Dell'Armi,
Stefania Galizia,
Giovanni Grasso:
A DLP System with Object-Oriented Features.
LPNMR 2005: 432-436 |
2004 |
5 | EE | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV with Aggregates.
LPNMR 2004: 326-330 |
2003 |
4 | EE | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Gerald Pfeifer:
Aggregate Functions in DLV.
Answer Set Programming 2003 |
3 | | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Gerald Pfeifer:
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
IJCAI 2003: 847-852 |
2002 |
2 | EE | Nicola Leone,
Gerald Pfeifer,
Wolfgang Faber,
Francesco Calimeri,
Tina Dell'Armi,
Thomas Eiter,
Georg Gottlob,
Giovambattista Ianni,
Giuseppe Ielpa,
Christoph Koch,
Simona Perri,
Axel Polleres:
The DLV System.
JELIA 2002: 537-540 |
2001 |
1 | EE | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Christoph Koch,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV.
LPNMR 2001: 424-428 |