|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans | A Preference-Based Framework for Updating Logic Programs | Konferenzbeitrag Inproceedings  | 2007 |
| 2 | | Pkhakadze, Sopo ; Tompits, Hans | A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur | Konferenzbeitrag Inproceedings | 2019 |
| 3 | | Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter | ActHEX: Implementing HEX Programs with Action Atoms | Konferenzbeitrag Inproceedings | 2013 |
| 4 | | Delgrande, James ; Peppas, Pavlos ; Woltran, Stefan | AGM-Style Belief Revision of Logic Programs under Answer Set Semantics | Konferenzbeitrag Inproceedings | 2013 |
| 5 | | Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan | Answer Set Solving with Bounded Treewidth Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 6 | | Eiter, Thomas ; Fink, Michael ; Schüller, Peter | Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems | Konferenzbeitrag Inproceedings | 2011 |
| 7 | | Brewka, Gerhard ; Eiter, Thomas | Argumentation Context Systems: A Framework for Abstract Group Argumentation | Konferenzbeitrag Inproceedings | 2009 |
| 8 | | Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan | ARVis: Visualizing Relations between Answer Sets | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Weinzierl, Antonius | Blending Lazy-Grounding and CDNL Search for Answer-Set Solving | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | de Bruijn, Jos ; Heymans, Stijn | Complexity of the Stable Model Semantics for Queries on Incomplete Databases | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk | Conditional Planning with External Functions | Konferenzbeitrag Inproceedings | 2007 |
| 12 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Degrees of Laziness in Grounding | Konferenzbeitrag Inproceedings | 2019 |
| 13 | | Charwat, Günther ; Woltran, Stefan | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams | Konferenzbeitrag Inproceedings | 2015 |
| 14 | | Brewka, Gerhard ; Eiter, Thomas | From Data Integration towards Knowledge Mediation | Konferenzbeitrag Inproceedings | 2009 |
| 15 | | Antić, Christian ; Eiter, Thomas ; Fink, Michael | Hex Semantics via Approximation Fixpoint Theory | Konferenzbeitrag Inproceedings | 2013 |
| 16 | | Fichte, Johannes Klaus ; Gaggl, Sarah Alice ; Hecher, Markus ; Rusovac, Dominik | IASCAR: Incremental Answer Set Counting by Anytime Refinement | Inproceedings Konferenzbeitrag | Sep-2022 |
| 17 | | Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans | $$\mathsf {Harvey}$$ : A System for Random Testing in ASP | Konferenzbeitrag Inproceedings | 2017 |
| 18 | | Dewoprabowo, Ridhwan ; Fichte, Johannes Klaus ; Gorczyca, Piotr Jerzy ; Hecher, Markus | A Practical Account into Counting Dung's Extensions by Dynamic Programming | Inproceedings Konferenzbeitrag | 2022 |
| 19 |  | Eiter, Thomas ; Kaminski, Tobias Dietmar | Pruning External Minimality Checking for ASP Using Semantic Dependencies | Inproceedings Konferenzbeitrag   | 12-May-2019 |
| 20 | | Feier, Cristina ; Eiter, Thomas | Reasoning with Forest Logic Programs Using Fully Enriched Automata | Konferenzbeitrag Inproceedings | 2015 |
