|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii | Streamlining Input/Output Logics with Sequent Calculi | Inproceedings Konferenzbeitrag  | 12-Nov-2023 |
| 2 | | Lukasiewicz, Thomas ; Malizia, Enrico ; Molinaro, Cristian | Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs | Inproceedings Konferenzbeitrag | 2023 |
| 3 | | Haret, Adrian ; Woltran, Stefan | Deviation in Belief Change on Fragments of Propositional Logic | Konferenzbeitrag Inproceedings | 2017 |
| 4 | | Baumann, Ringo ; Linsbichler, Thomas ; Woltran, Stefan | Verifiability of argumentation semantics | Konferenzbeitrag Inproceedings | 2016 |
| 5 | | Saribatur, Zeynep Gözen ; Eiter, Thomas | Reactive Policies with Planning for Action Languages | Konferenzbeitrag Inproceedings | 2016 |
| 6 | | Linsbichler, Thomas ; Puehrer, Joerg ; Strass, Hannes | Characterizing realizability in abstract argumentation | Konferenzbeitrag Inproceedings | 2016 |
| 7 | | Mailly, Jean-Guy | Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks | Konferenzbeitrag Inproceedings | 2016 |
| 8 | | Haret, Adrian ; Mailly, Jean-Guy ; Woltran, Stefan | Distributing Knowledge Into Simple Bases | Konferenzbeitrag Inproceedings | 2016 |
| 9 | | Giacomin, Massimiliano ; Linsbichler, Thomas ; Woltran, Stefan | On the Functional Completeness of Argumentation Semantics | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | Konferenzbeitrag Inproceedings | 2008 |
| 11 | | Cali, Andrea ; Lukasiewicz, Thomas ; Predoiu, Livia ; Stuckenschmidt, Heiner | Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings | Konferenzbeitrag Inproceedings | 2008 |
