dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nicola Leone (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Koch, Nicola Leone, Gerald Pfeifer: Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer: System Description: DLV. LPNMR 2001: 424-428
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer: DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036: (2000)
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Koch, Nicola Leone: Stable Model Checking Made Easy. IJCAI 1999: 70-75
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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-

Selection of 6 from 204 records - Nicola Leone has 97 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page