|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Hozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag    | 2-Sep-2023 |
| 2 |  | Corrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan | Grounding Planning Tasks Using Tree Decompositions and Iterated Solving | Inproceedings Konferenzbeitrag | 1-Jul-2023 |
| 3 |  | Bernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Inproceedings Konferenzbeitrag | 26-Jun-2023 |
| 4 | | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 5 |  | Schidler, André ; Szeider, Stefan | Computing Twin-width with SAT and Branch & Bound | Inproceedings Konferenzbeitrag | 2023 |
| 6 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag | 2023 |
| 7 |  | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag | 2023 |
| 8 |  | Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles | Lemmaless Induction in Trace Logic | Inproceedings Konferenzbeitrag | 2022 |
| 9 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 10 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 11 | | Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan | Explaining Non-Acceptability in Abstract Argumentation | Konferenzbeitrag Inproceedings | 2020 |
| 12 | | Dvorak, Wolfgang ; Gaggl, Sarah Alice ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan | The ASPARTIX system suite | Konferenzbeitrag Inproceedings | 2020 |
| 13 | | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs | Konferenzbeitrag Inproceedings | 2020 |
| 14 | | Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. | Proportional Belief Merging | Konferenzbeitrag Inproceedings | 2020 |
