|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Fink, Michael | A Paraconsistent Semantics for Hybrid Theories | Bericht Report | 2012 |
| 2 | | Fink, Michael ; El Ghali, Adil ; Chniti, Amina ; Korf, Roman ; Schwichtenberg, Antonia ; Lévy, François ; Puehrer, Joerg ; Eiter, Thomas | D2.6 Consistency Maintenance. Final Report | Bericht Report | 2011 |
| 3 | | Krennwallner, Thomas | Promoting Modular Nonmonotonic Logic Programs | Präsentation Presentation | 2011 |
| 4 | | Feier, Cristina ; Aït-Kaci, Hassan ; Angele, Jürgen ; De Bruijn, Jos ; Citeau, Hugue ; Eiter, Thomas ; El Ghali, Adil ; Kerhet, Volha ; Kiss, Eva ; Korf, Roman ; Krekeler, Thomas ; Krennwallner, Thomas ; Heymans, Stijn ; Mosca, Alessandro ; Rezk, Martín ; Xiao, Guohui | D3.3 Complexity and Optimization of Combinations of Rules and Ontologies | Bericht Report | 2010 |
| 5 | | Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Conjunctive Query Answering in the Description Logic SH using Knots | Bericht Report | 2009 |
| 6 | | Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman | Well-Founded Semantics for Description Logic Programs in the Semantic Web | Bericht Report | 2009 |
| 7 | | Calvanese, Diego ; Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena | Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata | Bericht Report | 2009 |
| 8 | | Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Query answering in description logics with transitive roles | Bericht Report | 2009 |
| 9 | | Ortiz de la Fuente, M.Magdalena | Querying Expressive Knowledge Bases | Präsentation Presentation | 2009 |
| 10 | | Ortiz de la Fuente, M.Magdalena | Querying Description Logic Knowledge Bases: automata-theoretic techniques | Präsentation Presentation | 2009 |
| 11 | | Ortiz de la Fuente, M.Magdalena | Query Answering in Horn-SHIQ | Präsentation Presentation | 2009 |
| 12 | | Simkus, Mantas | Bidirectional Answer Set Programs with Function Symbols | Präsentation Presentation | 2009 |
| 13 | | Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas | Reasoning with knots | Präsentation Presentation | 2009 |
| 14 | | Ortiz de la Fuente, M.Magdalena | Query Answering over expressive DL Ontologies | Präsentation Presentation | 2009 |
| 15 | | Ortiz de la Fuente, M.Magdalena | The combined complexity of query answering in expressive DLs | Präsentation Presentation | 2008 |
