|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data repair of inconsistent nonmonotonic description logic programs | Artikel Article  | 2016 |
| 22 | | Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora | The Defeat of the Winograd Schema Challenge | Article Artikel | Dec-2023 |
| 23 | | Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan | Design and results of the Second International Competition on Computational Models of Argumentation | Artikel Article | 2020 |
| 24 | | Shen, Yi-Dong ; Eiter, Thomas | Determining Inference Semantics for Disjunctive Logic Programs | Artikel Article | 2019 |
| 25 | | Ganian, Robert ; Hamm, Thekla ; Talvitie, Topi | An efficient algorithm for counting Markov equivalent DAGs | Article Artikel | Mar-2022 |
| 6 | | Besnard, Philippe ; Hunter, Anthony ; Woltran, Stefan | Encoding deductive argumentation in quantified Boolean formulae | Artikel Article | 2009 |
| 7 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Enhancing Contextualized Knowledge Repositories with Justifiable Exceptions | Artikel Article | 2018 |
| 8 | | Eiter, Thomas ; Shen, Yi-Dong | Evaluating epistemic negation in answer set programming | Artikel Article | 2016 |
| 9 | | Lukasiewicz, Thomas | Expressive Probabilistic Description Logics | Artikel Article | 2008 |
| 10 | | Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius | Finding Explanations of Inconsistency in Multi-Context Systems | Artikel Article | 2014 |
| 11 | | Antić, Christian | Fixed point semantics for stream reasoning | Artikel Article | 2020 |
| 12 | | 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 |
| 13 | | Gaspers, Serge ; Szeider, Stefan | Guarantees and limits of preprocessing in constraint satisfaction and reasoning | Artikel Article | 2014 |
| 14 | | Ganian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej | Hedonic diversity games: A complexity picture with more than two colors | Article Artikel | Dec-2023 |
| 15 | | Lackner, Martin ; Fitzsimmons, Zack | Incomplete Preferences in Single-Peaked Electorates | Artikel Article | 2020 |
| 16 | | Horn, Matthias ; Raidl, Günther ; Blum, Christian | Job sequencing with one common and multiple secondary resources: An A∗/Beam Search based anytime algorithm | Artikel Article | 2019 |
| 17 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas | LARS: A Logic-based Framework for Analytic Reasoning over Streams | Artikel Article | 2018 |
| 18 | | Lan, Liang ; Zhang, Kai ; Ge, Hancheng ; Cheng, Wei ; Liu, Jun ; Rauber, Andreas ; Li, Xiao-Li ; Wang, Jun ; Zha, Hongyuan | Low-rank decomposition meets kernel learning: A generalized Nyström method | Artikel Article | Sep-2017 |
| 19 | | Baral, Chitta ; Eiter, Thomas ; Bjäreland, Marcus ; Nakamura, Mutsumi | Maintenance goals of agents in a dynamic environment: Formulation and policy construction | Artikel Article | 2008 |
| 20 | | Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan | Methods for solving reasoning problems in abstract argumentation - A survey | Artikel Article | 2015 |
