Sfoglia per Autore
Nonmonotonic Description Logic Programs: Implementation and Experiments
2004-01-01 Eiter, T.; Ianni, Giovambattista; Tompits, H.; Schindlauer, R.
On the complexity of inducing categorical and quantitative association rules
2004-01-01 Angiulli, Fabrizio; Ianni, Giovambattista; Palopoli, Luigi
A System with Template Answer Set Programs
2004-01-01 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics
2005-01-01 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
Boosting Information Integration: The INFOMIX System
2005-01-01 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
Data Integration: a Challenging ASP Application
2005-01-01 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
Specification of assessment-test criteria through ASP specifications
2005-01-01 Ianni, Giovambattista; Panetta, C; Ricca, Francesco
Specification of Assessment-Test Criteria through ASP
2005-01-01 Ianni, Giovambattista; Panetta, C; Ricca, F.
DLVHEX: Dealing with Semantic Web under Answer-Set Programming
2005-01-01 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
External sources of computation for Answer Set Solvers
2005-01-01 Calimeri, Francesco; Ianni, Giovambattista
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data
2005-01-01 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.
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data
2005-01-01 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
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming
2005-01-01 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
Boosting Information Integration: The INFOMIX System
2005-01-01 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
Extending ASP by value invention
2006-01-01 Calimeri, Francesco; Ianni, Giovambattista
Decidable Fragments Of Logic Programming With Value Invention
2006-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
DLV-HEX: a system for integrating multiple semantics in an answer set programming framework
2006-01-01 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
Template Programs for Disjunctive Logic Programming: An Operational Semantics
2006-01-01 Calimeri, Francesco; Ianni, Giovambattista
Reasoning with rules and ontologies
2006-01-01 Eiter, T; Ianni, Giovambattista; Polleres, A; Schindlauer, R; Tompits, H.
dlvhex: a prover for semantic web reasoning under the answer set semantics
2006-01-01 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
A System with Template Answer Set Programs | 1-gen-2004 | Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C. | |
NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics | 1-gen-2005 | Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H. | |
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 | |
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 | |
Specification of assessment-test criteria through ASP specifications | 1-gen-2005 | Ianni, Giovambattista; Panetta, C; Ricca, Francesco | |
Specification of Assessment-Test Criteria through ASP | 1-gen-2005 | Ianni, Giovambattista; Panetta, C; Ricca, F. | |
DLVHEX: Dealing with Semantic Web under Answer-Set Programming | 1-gen-2005 | Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H. | |
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. | |
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 | |
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. | |
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 | |
Extending ASP by value invention | 1-gen-2006 | Calimeri, Francesco; Ianni, Giovambattista | |
Decidable Fragments Of Logic Programming With Value Invention | 1-gen-2006 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista | |
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. | |
Template Programs for Disjunctive Logic Programming: An Operational Semantics | 1-gen-2006 | Calimeri, Francesco; Ianni, Giovambattista | |
Reasoning with rules and ontologies | 1-gen-2006 | Eiter, T; Ianni, Giovambattista; Polleres, A; Schindlauer, R; Tompits, H. | |
dlvhex: a prover for semantic web reasoning under the answer set semantics | 1-gen-2006 | Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H. |
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