Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 156
Titolo Data di pubblicazione Autore(i) File
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
Pruning Operators for Answer Set Programming Systems 1-gen-2002 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.
The DLV System 1-gen-2002 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A.
Reasoning about the Semantic Web using Answer Set Programming 1-gen-2003 Ianni, Giovambattista; Calimeri, Francesco; Lio, V; Galizia, S; Bonfa', A.
OntoDLP: a Logic Formalism for Knowledge Representation 1-gen-2003 Calimeri, Francesco; Galizia, S; Ruffolo, M; Rullo, Pasquale
Enhancing Disjunctive Logic Programming for Ontology Specification 1-gen-2003 Calimeri, Francesco; Galizia, Stefania; Ruffolo, Massimo; Rullo, Pasquale
Enhancing Answer Set Programming with Templates 1-gen-2004 Ianni, Giovambattista; Ielpa, G; Pietramala, A; Santoro, M. C.; Calimeri, Francesco
Toward the Implementation of Functions in the DLV System 1-gen-2004 Calimeri, Francesco; Leone, N.
A System with Template Answer Set Programs 1-gen-2004 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
New DLV Features for Data Integration. JELIA 2004 1-gen-2004 Calimeri, Francesco; Citrigno, M.; Cumbo, C.; Faber, W.; Leone, Nicola; Perri, Simona; Pfeifer, G.
An Agent System Reasoning about the Web and the User 1-gen-2004 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
New DLV Features for Data Integration 1-gen-2004 Calimeri, F; Citrigno, Manuela; Cumbo, Chiara; Faber, W; Leone, N; Perri, S; Pfeifer, G
Parametric External Predicates for the DLV System 1-gen-2004 Calimeri, Francesco; Ianni, Giovambattista; Pietramala, A; Santoro, M. C.
Declarative and Computational Properties of Logic Programs with Aggregates 1-gen-2005 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
External sources of computation for Answer Set Solvers 1-gen-2005 Calimeri, Francesco; Ianni, Giovambattista
Extending ASP by value invention 1-gen-2006 Calimeri, Francesco; Ianni, Giovambattista
Pruning Operators for Disjunctive Logic Programming Systems 1-gen-2006 Calimeri, Francesco; Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
Decidable Fragments Of Logic Programming With Value Invention 1-gen-2006 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
Template Programs for Disjunctive Logic Programming: An Operational Semantics 1-gen-2006 Calimeri, Francesco; Ianni, Giovambattista
Frame Logic under Answer Set Semantics 1-gen-2007 Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A.
Mostrati risultati da 1 a 20 di 156
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile