|
Search the dblp DataBase
Francesco Calimeri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo
Enhancing Disjunctive Logic Programming for Ontology Specification. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 2003, pp:63-74 [Conf]
- Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
Reasoning about the Semantic Web using Answer Set Programming. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 2003, pp:324-336 [Conf]
- Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo
OntoDLP: a Logic Formalism for Knowledge Representation. [Citation Graph (0, 0)][DBLP] Answer Set Programming, 2003, pp:- [Conf]
- Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Declarative and Computational Properties of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:406-411 [Conf]
- Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
New DLV Features for Data Integration. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:698-701 [Conf]
- Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
Decidable Fragments of Logic Programming with Value Invention. [Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:95-110 [Conf]
- Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro
A System with Template Answer Set Programs. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:693-697 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:537-540 [Conf]
- Francesco Calimeri, Giovambattista Ianni
External Sources of Computation for Answer Set Solvers. [Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:105-118 [Conf]
- Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri
Enhancing answer set programming with templates. [Citation Graph (0, 0)][DBLP] NMR, 2004, pp:233-239 [Conf]
- Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
Pruning operators for answer set programming systems. [Citation Graph (0, 0)][DBLP] NMR, 2002, pp:200-209 [Conf]
- Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
An agent system reasoning about the web and the user. [Citation Graph (0, 0)][DBLP] WWW (Alternate Track Papers & Posters), 2004, pp:492-493 [Conf]
- Francesco Calimeri, Giovambattista Ianni
Template programs for Disjunctive Logic Programming: An operational semantics. [Citation Graph (0, 0)][DBLP] AI Commun., 2006, v:19, n:3, pp:193-206 [Journal]
- Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro
Parametric external predicates for the DLV System [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Francesco Calimeri, Nicola Leone
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Pruning Operators for Disjunctive Logic Programming Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:71, n:2-3, pp:183-214 [Journal]
- Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
External sources of knowledge and value invention in logic programming. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:333-361 [Journal]
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. [Citation Graph (, )][DBLP]
Answer Set Programming. [Citation Graph (, )][DBLP]
Computable Functions in ASP: Theory and Implementation. [Citation Graph (, )][DBLP]
An ASP System with Functions, Lists, and Sets. [Citation Graph (, )][DBLP]
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs
|