|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael ; Fermé, Eduardo ; Leite, Joao | A Complexity Assessment for Queries Involving Sufficient and Necessary Causes | Konferenzbeitrag Inproceedings  | 2014 |
| 2 | | Morak, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Goebel, Randy ; Siekmann, Jörg ; Wahlster, Wolfgang | A Dynamic-Programming Based ASP-Solver | Konferenzbeitrag Inproceedings | 2010 |
| 3 | | Fink, Michael ; Pearce, David ; Janhunen, Tomi ; Niemelä, Ilkka | A Logical Semantics for Description Logic Programs | Konferenzbeitrag Inproceedings | 2010 |
| 4 | | Zamansky, Anna | A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information | Konferenzbeitrag Inproceedings | 2012 |
| 5 | | Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco | Abstraction for Non-ground Answer Set Programs | Konferenzbeitrag Inproceedings | 2019 |
| 6 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Fermé, Eduardo ; Leite, Joao | Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | Konferenzbeitrag Inproceedings | 2014 |
| 7 | | Herman, Miki ; Pichler, Reinhard ; Hölldobler, Steffen ; Lutz, Carsten ; Wansing, Heinrich | Counting Complexity of Minimal Cardinality and Minimal Weight Abduction | Konferenzbeitrag Inproceedings | 2008 |
| 8 | | van Berkel, Kees ; Lyon, Tim | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Janhunen, Tomi ; Niemelä, Ilkka | Decomposition of Distributed Nonmonotonic Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 10 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme | Exploiting Unfounded Sets for HEX-Program Evaluation | Konferenzbeitrag Inproceedings | 2012 |
| 11 | | Ortiz, Magdalena ; Hölldobler, Steffen ; Lutz, Carsten ; Wansing, Heinrich | Extending Carin to the Description Logics of the $\mathcal{SH}$ Family | Konferenzbeitrag Inproceedings | 2008 |
| 12 | | Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan | Graph-Classes of Argumentation Frameworks with Collective Attacks | Konferenzbeitrag Inproceedings | 2021 |
| 13 | | Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results | Konferenzbeitrag Inproceedings | 2012 |
| 14 | | Haret, Adrian ; Wallner, Johannes P. ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco | Manipulating Skeptical and Credulous Consequences When Merging Beliefs | Konferenzbeitrag Inproceedings | 2019 |
| 15 | | Kain, Tobias ; Tompits, Hans | $$\mathsf {Uhura}$$ : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language | Konferenzbeitrag Inproceedings | 2019 |
| 16 | | Amendola, Giovanni ; Eiter, Thomas ; Leone, Nicola ; Fermé, Eduardo ; Leite, Joao | Modular Paracoherent Answer Sets | Konferenzbeitrag Inproceedings | 2014 |
| 17 | | Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola | Nested Sequents for the Logic of Conditional Belief | Konferenzbeitrag Inproceedings | 2019 |
| 18 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Janhunen, Tomi ; Niemelä, Ilkka | Preference-Based Inconsistency Assessment in Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 20 | | Dvořák, Wolfgang ; Järvisalo, Matti ; Linsbichler, Thomas ; Niskanen, Andreas ; Woltran, Stefan | Preprocessing Argumentation Frameworks via Replacement Patterns | Konferenzbeitrag Inproceedings | 2019 |
