|
| | Preview | Author(s) | Title | Type | Issue Date |
| 201 | | Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan | Computing Secure Sets in Graphs using Answer Set Programming | Artikel Article  | Jun-2020 |
| 202 | | Hecher, Markus ; Thier, Patrick ; Woltran, Stefan | Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology | Konferenzbeitrag Inproceedings | 2020 |
| 203 | | Andresel, Medina ; Corman, Julien ; Ortiz, Magdalena ; Reutter, Juan L. ; Savkovic, Ognjen ; Simkus, Mantas | Stable Model Semantics for Recursive SHACL | Konferenzbeitrag Inproceedings | 2020 |
| 204 | | Pichler, Reinhard | Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation | Artikel Article | 2020 |
| 205 | | Kolaitis, Phokion G. ; Pichler, Reinhard ; Sallinger, Emanuel ; Savenkov, Vadim | On the Language of Nested Tuple Generating Dependencies | Artikel Article | 2020 |
| 206 | | Schneider, Thomas ; Šimkus, Mantas | Special Issue on Ontologies and Data Management: Part I | Artikel Article | 2020 |
| 207 | | Dvorak, Wolfgang ; Wallner, Johannes Peter | Computing Strongly Admissible Sets | Konferenzbeitrag Inproceedings | 2020 |
| 208 | | Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan | Explaining Non-Acceptability in Abstract Argumentation | Konferenzbeitrag Inproceedings | 2020 |
| 209 | | Danzinger, Philipp ; Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret | Solving the Test Laboratory Scheduling Problem with Variable Task Grouping | Konferenzbeitrag Inproceedings | 2020 |
| 210 | | Bellomarini, Luigi ; Laurenza, Eleonora ; Sallinger, Emanuel ; Sherkhonov, Evgeny | Reasoning Under Uncertainty in Knowledge Graphs | Konferenzbeitrag Inproceedings | 2020 |
| 211 | | Bellomarini, Luigi ; Laurenza, Eleonora ; Sallinger, Emanuel | Rule-based Anti-Money Laundering in Financial Intelligence Units: Experience and Vision | Konferenzbeitrag Inproceedings | 2020 |
| 212 | | Nayyeri, Mojtaba ; Xu, Chengjin ; Vahdati, Sahar ; Vassilyeva, Nadezhda ; Sallinger, Emanuel ; Yazdi, Hamed Shariat ; Lehmann, Jens | Fantastic Knowledge Graph Embeddings and How to Find the Right Space for Them | Konferenzbeitrag Inproceedings | 2020 |
| 213 | | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings | 2020 |
| 214 | | Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas | Lower Bounds for QBFs of Bounded Treewidth | Konferenzbeitrag Inproceedings | 2020 |
| 215 | | Hecher, Markus | Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? | Konferenzbeitrag Inproceedings | 2020 |
| 216 | | Maly, Jan | Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets | Konferenzbeitrag Inproceedings | 2020 |
| 217 | | Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan | Encoding Choice Logics in ASP | Konferenzbeitrag Inproceedings | 2020 |
| 218 | | Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Structural Decompositions of Epistemic Logic Programs | Konferenzbeitrag Inproceedings | 2020 |
| 219 | | Bistarelli, Stefano ; Dvorak, Wolfgang ; Taticchi, Carlo ; Woltran, Stefan | Ranking-Based Semantics from the Perspective of Claims | Konferenzbeitrag Inproceedings | 2020 |
| 220 | | Musliu, Nysret ; Winter, Felix ; Stuckey, Peter J. | Explaining Propagators for String Edit Distance Constraints | Konferenzbeitrag Inproceedings | 2020 |
