|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Semantic Independence in DL-programs | Konferenzbeitrag Inproceedings  | 2012 |
| 2 | | Fink, Michael | Paraconsistent Hybrid Theories | Konferenzbeitrag Inproceedings | 2012 |
| 3 | | Fink, Michael | A Paraconsistent Semantics for Hybrid Theories | Bericht Report | 2012 |
| 4 | | Xiao, Guohui ; Eiter, Thomas ; Heymans, Stijn | The DReW System for Nonmonotonic DL-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 5 | | Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui | Uniform Evaluation of Nonmonotonic DL-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 6 | | 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 |
| 7 | | Krennwallner, Thomas | Promoting Modular Nonmonotonic Logic Programs | Präsentation Presentation | 2011 |
| 8 | | Xiao, Guohui ; Eiter, Thomas | Inline Evaluation of Hybrid Knowledge Bases - PhD Description | Konferenzbeitrag Inproceedings | 2011 |
| 9 | | Krennwallner, Thomas | Promoting Modular Nonmonotonic Logic Programs | Konferenzbeitrag Inproceedings | 2011 |
| 10 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | Model Streaming for Distributed Multi-Context Systems | Konferenzbeitrag Inproceedings | 2011 |
| 11 | | Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans | Stepping through an Answer-Set Program | Konferenzbeitrag Inproceedings | 2011 |
| 12 | | Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław | Answer Set Programming at a Glance | Artikel Article | 2011 |
| 13 | | Eiter, Thomas ; Šimkus, Mantas | FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols | Artikel Article | 22-Jan-2010 |
| 14 | | 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 |
| 15 | | Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François | BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings | Konferenzband Proceedings | 2010 |
| 16 | | Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas | Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 | Konferenzbeitrag Inproceedings | 2010 |
| 17 | | Bienvenu, Meghyn ; Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Query Answering in the Description Logic S | Konferenzbeitrag Inproceedings | 2010 |
| 18 | | Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas | F-Logic#: Loosely Coupling F-Logic Rules and Ontologies | Konferenzbeitrag Inproceedings | 2010 |
| 19 | | Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin | Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers | Konferenzbeitrag Inproceedings | 2010 |
| 20 | | Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas | DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs | Konferenzbeitrag Inproceedings | 2010 |
