|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Delgrande, James ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | A Model-Theoretic Approach to Belief Change in Answer Set Programming | Artikel Article | 2013 |
| 2 | | Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan | A SAT Approach to Branchwidth | Artikel Article  | 2019 |
| 3 | | Heule, Marijn J. H. ; Szeider, Stefan | A SAT Approach to Clique-Width | Artikel Article | 2015 |
| 4 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars | Artikel Article | 31-Oct-2017 |
| 5 | | Fichte, Johannes K. ; Szeider, Stefan | Backdoors to Normality for Disjunctive Logic Programs | Artikel Article | 2015 |
| 6 | | Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan | Belief Merging within Fragments of Propositional Logic | Artikel Article | 2016 |
| 7 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Beyond Uniform Equivalence between Answer-set Programs | Artikel Article | 2021 |
| 8 | | Schwarz, Karlheinz | Challenges for Theory and Computation | Artikel Article | 2017 |
| 9 | | Creignou, Nadia ; Egly, Uwe ; Schmidt, Johannes | Complexity Classifications for Logic-Based Argumentation | Artikel Article | 2014 |
| 10 | | Cadoli, Marco ; Eiter, Thomas ; Gottlob, Georg | Complexity of Nested Circumscription and Nested Abnormality Theories | Artikel Article | 2005 |
| 11 | | Schwarz, Karlheinz ; Breitling, Rainer ; Allen, Christian | Computation: A New Open Access Journal of Computational Chemistry, Computational Biology and Computational Engineering | Artikel Article | 2013 |
| 12 | | Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian | A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions | Article Artikel | Jan-2023 |
| 13 | | Blaha, Peter ; Chermette, Henry | Dedication: Commemorative Issue in Honor of Professor Karlheinz Schwarz on the Occasion of His 80th Birthday | Artikel Article | 2022 |
| 14 | | Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen | Display to Labeled Proofs and Back Again for Tense Logics | Artikel Article | 2021 |
| 15 | | Bruijn, Jos De ; Eiter, Thomas ; Polleres, Axel ; Tompits, Hans | Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination | Artikel Article | 2011 |
| 16 | | Eiter, Thomas ; Šimkus, Mantas | FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols | Artikel Article | 22-Jan-2010 |
| 17 |  | Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš | Hardness Characterisations and Size-width Lower Bounds for QBF Resolution | Article Artikel   | 27-Jan-2023 |
| 18 | | Ciabattoni, Agata ; Genco, Francesco A. | Hypersequents and Systems of Rules: Embeddings and Applications. | Artikel Article | 2018 |
| 19 | | Rubel, Oleg ; Blaha, Peter | Length-Gauge Optical Matrix Elements in WIEN2k | Artikel Article | 2022 |
| 20 | | Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas | Managing Change in Graph-Structured Data Using Description Logics | Artikel Article | 2017 |
