Sfoglia per Autore
Forgetting in managing rules and ontologies
2006-01-01 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H; Wang, K.
Extending ASP by value invention
2006-01-01 Calimeri, Francesco; Ianni, Giovambattista
dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics
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.
Faithful and effective querying of RDF ontologies using DLV-DB
2007-01-01 Ianni, Giovambattista; Martello, A; Panetta, C; AND TERRACINA, G.
DLV: An Advanced System for Knowledge Representation and Reasoning
2007-01-01 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.
Exploiting Conjunctive Queries in Description Logic Programs
2007-01-01 Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R.
External sources of knowledge and value invention in logic programming
2007-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista
Protection Techniques from Information Extraction
2007-01-01 Greco, Gianluigi; Ianni, Giovambattista; Lio, V; Palopoli, Luigi
Frame Logic under Answer Set Semantics
2007-01-01 Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A.
Some experiments on the usage of a deductive database for RDFS querying and reasoning
2007-01-01 Ianni, Giovambattista; Martello, A; Panetta, C; Terracina, Giorgio
Exploiting Conjunctive Queries in Description Logic Programs
2008-01-01 Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R.
Rules and Ontologies for the Semantic Web
2008-01-01 Eiter, T; Ianni, Giovambattista; Krennwallner, T; Polleres, A.
Exploiting Conjunctive Queries in Description Logic Programs
2008-01-01 Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R.
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
2008-01-01 Alviano, M; Ianni, Giovambattista; Marano, M; Martello, A.
Combining Answer Set Programming with Description Logics for the Semantic Web -- [Winner of the ARTIFICIAL INTELLIGENCE PROMINENT PAPER AWARD 2013]
2008-01-01 Eiter, T; Ianni, Giovambattista; Lukasiewicz, T; Schindlauer, R; Tompits, H.
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018]
2008-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Bottom-up Evaluation of Finitely Recursive Queries
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
2009-01-01 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Forgetting in managing rules and ontologies | 1-gen-2006 | Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H; Wang, K. | |
Extending ASP by value invention | 1-gen-2006 | Calimeri, Francesco; Ianni, Giovambattista | |
dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics | 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. | |
Faithful and effective querying of RDF ontologies using DLV-DB | 1-gen-2007 | Ianni, Giovambattista; Martello, A; Panetta, C; AND TERRACINA, G. | |
DLV: An Advanced System for Knowledge Representation and Reasoning | 1-gen-2007 | Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G. | |
Exploiting Conjunctive Queries in Description Logic Programs | 1-gen-2007 | Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R. | |
External sources of knowledge and value invention in logic programming | 1-gen-2007 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista | |
Protection Techniques from Information Extraction | 1-gen-2007 | Greco, Gianluigi; Ianni, Giovambattista; Lio, V; Palopoli, Luigi | |
Frame Logic under Answer Set Semantics | 1-gen-2007 | Alviano, M; Calimeri, Francesco; Ianni, Giovambattista; Martello, A. | |
Some experiments on the usage of a deductive database for RDFS querying and reasoning | 1-gen-2007 | Ianni, Giovambattista; Martello, A; Panetta, C; Terracina, Giorgio | |
Exploiting Conjunctive Queries in Description Logic Programs | 1-gen-2008 | Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R. | |
Rules and Ontologies for the Semantic Web | 1-gen-2008 | Eiter, T; Ianni, Giovambattista; Krennwallner, T; Polleres, A. | |
Exploiting Conjunctive Queries in Description Logic Programs | 1-gen-2008 | Eiter, T; Ianni, Giovambattista; Krennwallner, T; Schindlauer, R. | |
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics | 1-gen-2008 | Alviano, M; Ianni, Giovambattista; Marano, M; Martello, A. | |
Combining Answer Set Programming with Description Logics for the Semantic Web -- [Winner of the ARTIFICIAL INTELLIGENCE PROMINENT PAPER AWARD 2013] | 1-gen-2008 | Eiter, T; Ianni, Giovambattista; Lukasiewicz, T; Schindlauer, R; Tompits, H. | |
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] | 1-gen-2008 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
Bottom-up Evaluation of Finitely Recursive Queries | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola | |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs | 1-gen-2009 | Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola |
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