| 108 |       | Christoph Koch,
Nicola Leone,
Gerald Pfeifer:
Enhancing disjunctive logic programming systems by SAT checkers.
Artif. Intell. 151(1-2): 177-212 (2003) |
| 100 | | 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 |
| 83 | | Tina Dell'Armi,
Wolfgang Faber,
Giuseppe Ielpa,
Christoph Koch,
Nicola Leone,
Simona Perri,
Gerald Pfeifer:
System Description: DLV.
LPNMR 2001: 424-428 |
| 69 | | Thomas Eiter,
Wolfgang Faber,
Christoph Koch,
Nicola Leone,
Gerald Pfeifer:
DLV - A System for Declarative Problem Solving
CoRR cs.AI/0003036: (2000) |
| 61 |  | Christoph Koch,
Nicola Leone:
Stable Model Checking Made Easy.
IJCAI 1999: 70-75 |
| 39 | | Simona Citrigno,
Thomas Eiter,
Wolfgang Faber,
Georg Gottlob,
Christoph Koch,
Nicola Leone,
Cristinel Mateis,
Gerald Pfeifer,
Francesco Scarcello:
The dlv System: Model Generator and Advanced Frontends (system description).
WLP 1997: 0- |
- CSB - MetaPress - Google - Bing - Yahoo
Content released under the ODC-BY 1.0 license — See also our legal information page