2008 |
10 | 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) |
9 | 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) |
2004 |
8 | EE | Francesco Calimeri,
Giovambattista Ianni,
Giuseppe Ielpa,
Adriana Pietramala,
Maria Carmela Santoro:
A System with Template Answer Set Programs.
JELIA 2004: 693-697 |
7 | EE | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV with Aggregates.
LPNMR 2004: 326-330 |
6 | EE | Giovambattista Ianni,
Giuseppe Ielpa,
Adriana Pietramala,
Maria Carmela Santoro,
Francesco Calimeri:
Enhancing answer set programming with templates.
NMR 2004: 233-239 |
2003 |
5 | EE | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Nicola Leone,
Gerald Pfeifer:
Aggregate Functions in DLV.
Answer Set Programming 2003 |
4 | EE | Giovambattista Ianni,
Giuseppe Ielpa,
Adriana Pietramala,
Maria Carmela Santoro:
Answer Set Programming with Templates.
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 |