|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs of Inconsistent DL-programs over EL Ontologies | Bericht Report | 2015 |
| 2 | | Šimkus, Mantas ; Bassiliades, Nick ; Gottlob, Georg ; Sadri, Fariba ; Paschke, Adrian ; Roman, D. | Binary Frontier-Guarded ASP with Function Symbols | Konferenzbeitrag Inproceedings  | 2015 |
| 3 | | Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun | FLP answer set semantics without circular justifications for general logic programs | Artikel Article | 2014 |
| 4 | | Calvanese, Diego ; Eiter, Thomas ; Ortiz, Magdalena | Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata | Artikel Article | 2014 |
| 5 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2013 |
| 6 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Inconsistency Management for Description Logic Programs and Beyond | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus | Tractability Guarantees for DL-Lite Query Answering | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus | Evolving Graph Databases under Description Logic Constraints | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Cimiano, Philipp ; Corcho, Oscar ; Presutti, Valentina ; Hollink, Laura ; Rudolph, Sebastian | Lightweight Spatial Conjunctive Query Answering Using Keywords | Konferenzbeitrag Inproceedings | 2013 |
| 10 | | Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Wimmer, Anton | AngryHEX: An Angry Birds-playing Agent based on HEX-Programs | Präsentation Presentation | 2013 |
| 11 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; desJardins, Marie ; Littman, Michael | Liberal Safety for Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2013 |
| 12 | | Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. | Reasoning about Explanations for Negative Query Answers in DL-Lite | Artikel Article | 2013 |
| 13 | | Wang, Yisong ; You, Jia-Huai ; Yuan, Li Yan ; Shen, Yi-Dong ; Eiter, Thomas ; Lembo, Domenico ; Faber, Wolfgang | Eliminating Nonmonotonic DL-Atoms in Description Logic Programs | Konferenzbeitrag Inproceedings | 2013 |
| 14 | | EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL | Finding Similar/Diverse Solutions in Answer Set Programming | Artikel Article | 2013 |
| 15 | | Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Rossi, Francesca | Tractable Queries for Lightweight Description Logics | Konferenzbeitrag Inproceedings | 2013 |
| 16 | | Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Rossi, Francesca | Conjunctive Regular Path Queries in Lightweight Description Logics | Konferenzbeitrag Inproceedings | 2013 |
| 17 | | Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila | Uniform Evaluation of Nonmonotonic DL-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 18 | | Xiao, Guohui ; Eiter, Thomas ; Heymans, Stijn ; Li, Juanzi | The DReW System for Nonmonotonic DL-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Fink, Michael ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila | Paraconsistent Hybrid Theories | Konferenzbeitrag Inproceedings | 2012 |
| 20 | | Feier, Cristina ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila | Worst-Case Optimal Reasoning with Forest Logic Programs | Konferenzbeitrag Inproceedings | 2012 |
