Francesco Calimeri - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Answer Set ProgrammingPiero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca. agp 2010: 159-182 [doi]

Enhancing ASP by Functions: Decidable Classes and Implementation TechniquesFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. AAAI 2010: [doi]

2009

An ASP System with Functions, Lists, and SetsFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. lpnmr 2009: 483-489 [doi]

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive ProgramsFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. lpnmr 2009: 71-86 [doi]

2008

Experimenting with parallelism for the instantiation of ASP programsFrancesco Calimeri, Simona Perri, Francesco Ricca. jal, 63(1-3):34-54, 2008. [doi]

Computable Functions in ASP: Theory and ImplementationFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. ICLP 2008: 407-424 [doi]

2007

External sources of knowledge and value invention in logic programmingFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni. AMAI, 50(3-4):333-361, 2007. [doi]

2006

Template programs for Disjunctive Logic Programming: An operational semanticsFrancesco Calimeri, Giovambattista Ianni. aicom, 19(3):193-206, 2006. [doi]

Pruning Operators for Disjunctive Logic Programming SystemsFrancesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone. FUIN, 71(2-3):183-214, 2006. [doi]

Decidable Fragments of Logic Programming with Value InventionFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni. jelia 2006: 95-110 [doi]

2005

Declarative and Computational Properties of Logic Programs with AggregatesFrancesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri. IJCAI 2005: 406-411 [doi]

External Sources of Computation for Answer Set SolversFrancesco Calimeri, Giovambattista Ianni. lpnmr 2005: 105-118 [doi]

2004

2003

OntoDLP: a Logic Formalism for Knowledge RepresentationFrancesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. asp 2003: [doi]

Enhancing Disjunctive Logic Programming for Ontology SpecificationFrancesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. agp 2003: 63-74

Reasoning about the Semantic Web using Answer Set ProgrammingGiovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia. agp 2003: 324-336

2002