The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Susanna Cozza" ( http://dblp.L3S.de/Authors/Susanna_Cozza )

  Author page on DBLP  Author page in RDF  Community of Susanna Cozza in ASPL-2

Publication years (Num. hits)
2006-2011 (8)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 9 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Finitely recursive programs: Decidability and bottom-up computation. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone An ASP System with Functions, Lists, and Sets. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Computable Functions in ASP: Theory and Implementation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni External sources of knowledge and value invention in logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni Decidable Fragments of Logic Programming with Value Invention. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license