|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Finitely recursive programs: Decidability and bottom-up computation.  |
AI Commun.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, 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. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca |
Answer Set Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
An ASP System with Functions, Lists, and Sets. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Simona Perri, Francesco Ricca |
Experimenting with parallelism for the instantiation of ASP programs. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Computable Functions in ASP: Theory and Implementation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
External sources of knowledge and value invention in logic programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30 |
| 1 | Francesco Calimeri, Giovambattista Ianni |
Template programs for Disjunctive Logic Programming: An operational semantics. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone |
Pruning Operators for Disjunctive Logic Programming Systems. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
Decidable Fragments of Logic Programming with Value Invention. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Declarative and Computational Properties of Logic Programs with Aggregates. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni |
External Sources of Computation for Answer Set Solvers. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro |
Parametric external predicates for the DLV System |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Nicola Leone |
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
An agent system reasoning about the web and the user. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
information retrieval, agents, logic programming, answer set programming |
| 1 | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
New DLV Features for Data Integration. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
A System with Template Answer Set Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri |
Enhancing answer set programming with templates. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
Reasoning about the Semantic Web using Answer Set Programming. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo |
Enhancing Disjunctive Logic Programming for Ontology Specification. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo |
OntoDLP: a Logic Formalism for Knowledge Representation. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
Pruning operators for answer set programming systems. |
NMR |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")