|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca | Prolog: The Next 50 Years | Book Buch | 2023 |
| 2 | | Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia | SAT and Interactions (Dagstuhl Seminar 20061) | Konferenzband Proceedings | 2020 |
| 3 | | Artikis, Alexander ; Eiter, Thomas ; Margara, Alessandro ; Vansummeren, Stijn | Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) | Konferenzband Proceedings | 2020 |
| 4 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories | Buchbeitrag Book Contribution  | 2019 |
| 5 | | Ortiz de la Fuente, M.Magdalena ; Schneider, Thomas | Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27-29, 2018. | Konferenzband Proceedings | 2018 |
| 6 | | Niggemann, Oliver ; Schüller, Peter | IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency | Buch Book | 2018 |
| 7 | | Lonsing, Florian ; Seidl, Martina | Parallel Solving of Quantified Boolean Formulas | Buchbeitrag Book Contribution | 2018 |
| 8 | | Fullen, Marta ; Schüller, Peter ; Niggemann, Oliver | Validation of similarity measures for industrial alarm flood analysis? | Buchbeitrag Book Contribution | 2018 |
| 9 | | Dell´Aglio, Daniele ; Anicic, Darko ; Barnaghi, Payam ; Della Valle, Emanuele ; McGuinness, Deborah ; Bozzato, Loris ; Eiter, Thomas ; Homola, Martin ; Porello, Daniele | Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017 | Konferenzband Proceedings | 2017 |
| 10 | | Eiter, Thomas ; Sands, David | LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing 46 | Konferenzband Proceedings | 2017 |
| 11 | | Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei | IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1 | Konferenzband Proceedings | 2017 |
| 12 | | Pan, Jeff Z. ; Calvanese, Diego ; Eiter, Thomas ; Horrocks, Ian ; Kifer, Michael ; Lin, Fangzhen ; Zhao, Yuting | Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering | Konferenzband Proceedings | 2017 |
| 13 | | Mileo, Alessandra ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael | Stream Reasoning | Buchbeitrag Book Contribution | 2017 |
| 14 | | Szeider, Stefan ; Ordyniak, Sebastian ; Gaspers, Serge | The Constraint Satisfaction Problem: Complexity and Approximability | Buchbeitrag Book Contribution | 2017 |
| 15 | | Ortiz de la Fuente, M.Magdalena ; Schlobach, Stefan | Web Reasoning and Rule Systems | Konferenzband Proceedings | 2016 |
| 16 | | Dell´Aglio, Daniele ; Della Valle, Emanuele ; Eiter, Thomas ; Krötzsch, Markus ; Maleshkova, Maria ; Verborgh, Ruben ; Facca, Federico Michele ; Mrissa, Michael | Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016) | Konferenzband Proceedings | 2016 |
| 17 | | Lonsing, Florian ; Seidl, Martina | Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) | Konferenzband Proceedings | 2016 |
| 18 | | Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan | Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | Buch Book | 2015 |
| 19 | | De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca | Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) | Konferenzband Proceedings | 2015 |
| 20 | | Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius | Preference-Based Diagnosis Selection in Multi-Context Systems | Buchbeitrag Book Contribution | 2015 |
