The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesco Calimeri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Francesco Calimeri, Giovambattista Ianni
    External Sources of Computation for Answer Set Solvers. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:105-118 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. [Citation Graph (, )][DBLP]


  19. Answer Set Programming. [Citation Graph (, )][DBLP]


  20. Computable Functions in ASP: Theory and Implementation. [Citation Graph (, )][DBLP]


  21. An ASP System with Functions, Lists, and Sets. [Citation Graph (, )][DBLP]


  22. Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002