IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 111
Titolo Data di pubblicazione Autore(i) File
A System with Template Answer Set Programs 1-gen-2004 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
Nonmonotonic Description Logic Programs: Implementation and Experiments 1-gen-2004 Eiter, T.; Ianni, Giovambattista; Tompits, H.; Schindlauer, R.
On the complexity of inducing categorical and quantitative association rules 1-gen-2004 Angiulli, Fabrizio; Ianni, Giovambattista; Palopoli, Luigi
Boosting Information Integration: The INFOMIX System 1-gen-2005 Leone, Nicola; Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Georg, Gottlob; Gianluigi, Greco; Edyta, Kalka; Ianni, Giovambattista; Domenico, Lembo; Vincenzino, Lio; Bartosz, Nowicki; Riccardo, Rosati; Marco, Ruzzi; Witold, Staniszkis; Terracina, Giorgio
DLVHEX: Dealing with Semantic Web under Answer-Set Programming 1-gen-2005 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics 1-gen-2005 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
Specification of assessment-test criteria through ASP specifications 1-gen-2005 Ianni, Giovambattista; Panetta, C; Ricca, Francesco
External sources of computation for Answer Set Solvers 1-gen-2005 Calimeri, Francesco; Ianni, Giovambattista
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 1-gen-2005 Leone, Nicola; Greco, Gianluigi; Ianni, Giovambattista; Lio, V; Terracina, Giorgio; Eiter, T; Faber, W; Fink, M; Gottlob, G; Rosati, R; Lembo, D; Lenzerini, M; Ruzzi, M; Kalka, E; Nowicki, B; Staniszkis, W.
Specification of Assessment-Test Criteria through ASP 1-gen-2005 Ianni, Giovambattista; Panetta, C; Ricca, F.
Data Integration: a Challenging ASP Application 1-gen-2005 Leone, Nicola; Gottlob, G.; Rosati, R.; Eiter, T.; Faber, Wolfgang; Fink, M.; Granata, L.; Greco, Gianluigi; Ianni, Giovambattista; Kalka, E.; Lembo, D.; Lenzerini, M.; Lio, V.; Nowicki, B.; Ruzzi, M.; Staniszkis, W.; Terracina, Giorgio
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming 1-gen-2005 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 1-gen-2005 Leone, Nicola; Georg, Gottlob; Riccardo, Rosati; Thomas, Eiter; Faber, Wolfgang; Michael, Fink; Gianluigi, Greco; Ianni, Giovambattista; Edyta, Kalka; Domenico, Lembo; Maurizio, Lenzerini; Vincenzino, Lio; Bartosz, Nowicki; Marco, Ruzzi; Witold, Staniszkis; Terracina, Giorgio
Boosting Information Integration: The INFOMIX System 1-gen-2005 Leone, Nicola; Eiter, T; Faber, W; Fink, M; Gottlob, G; Greco, Gianluigi; Kalka, E; Ianni, Giovambattista; Lembo, D; Lio, V; Nowicki, B; Rosati, R; Ruzzi, M; Staniszkis, W; Terracina, Giorgio
DLV-HEX: a system for integrating multiple semantics in an answer set programming framework 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
Integration of multiple semantics in an answer set framework 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
Extending ASP by value invention 1-gen-2006 Calimeri, Francesco; Ianni, Giovambattista
dlvhex: a prover for semantic web reasoning under the answer set semantics 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
Decidable Fragments Of Logic Programming With Value Invention 1-gen-2006 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
Forgetting in managing rules and ontologies 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H; Wang, K.
Mostrati risultati da 21 a 40 di 111
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