Searching for authors named "Simona Perri" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Backjumping techniques for rules instantiation in the dlv system
by Nicola Leone, Simona Perri — 2004 — In NMR
…BackJumping Techniques for Rules Instantiation in the DLV System Nicola Leone and Simona Perri…
Cited by 2 (1 self) – Add To MetaCart

Parametric Connectives in Disjunctive Logic Programming
by Simona Perri, Nicola Leone — 2004
…Parametric Connectives in Disjunctive Logic Programming Simona Perri and Nicola Leone Department…
Cited by 6 (0 self) – Add To MetaCart

Declarative and computational properties of logic programs with aggregates
by Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri — 2005 — In: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05
… and Wolfgang Faber † and Nicola Leone and Simona Perri Department of Mathematics, University of Calabria, I…
Cited by 10 (5 self) – Add To MetaCart

System Description: DLV with Aggregates Tina Dell'Armi
by Wolfgang Faber Giuseppe, Nicola Leone, Simona Perri, Gerald Pfeifer — 2004
… ¢ , Giuseppe Ielpa ¡ , Nicola Leone ¡ , Simona Perri ¡ , and Gerald Pfeifer ¢ 87030 Rende (CS), Italy…
Add To MetaCart

G.: New DLV features for data integration
by Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer — 2004 — In: Proc. JELIA 2004. LNCS 3229
… , Wolfgang Faber 2 , Nicola Leone 1 , Simona Perri 1 , and Gerald Pfeifer 2 1 Department of Mathematics…
Cited by 1 (0 self) – Add To MetaCart

The DLV System for Knowledge Representation and Reasoning
by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello — 2002 — ACM Transactions on Computational Logic
… and WOLFGANG FABER and THOMAS EITER and GEORG GOTTLOB and SIMONA PERRI and FRANCESCO SCARCELLO Disjunctive…
Cited by 151 (51 self) – Add To MetaCart

System Description: DLV with Aggregates
by Tina Dell'armi Wolfgang, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer — 2003
… 1 , Nicola Leone 1 , Simona Perri 1 , and Gerald Pfeifer 2 1 Department of Mathematics…
Add To MetaCart

Census Data Repair: A Challenging Application of Disjunctive Logic Programming
by Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello — 2002 — In Proc. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 01), Springer LNCS
…, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello Dept. of Computer Science Univ…
Cited by 24 (3 self) – Add To MetaCart

DLV - Declarative Problem Solving using Answer Set Programming
by Technische Universität Wien, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri, Wolfgang Faber, Christoph Koch, Set Programming, In Aless, Ro Provetti, Son Tran Cao — In Proceedings of the Seventh Congress of the Italian Association for Arti Publication List 2001 Institut fur Informationssysteme Database and Arti
……
Cited by 1 (1 self) – Add To MetaCart

DLV: An Advanced System for Knowledge Representation and Reasoning
by Nicola Leone, Wolfgang Faber, Gerald Pfeifer, Annamaria Bria, Francesco Calimeri, Gelsomina Catalano, Susanna Cozza, Thomas Eiter, Georg Gottlob, Gianluigi Greco, Giovambattista Ianni, Marco Maratea, Claudio Panetta, Simona Perri, Francesco Ricca, Francesco Scarcello, Giorgio Terracina
… 1 , Giuseppe Ielpa 1 , Marco Maratea 1 , Claudio Panetta 1 , Simona Perri 1 , Francesco Ricca 1…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB