Sarah Alice Gaggl

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 30

Top Topics

Argumentation Semantics

Computational Models

Top Venues

Publications

Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything. ECAI (2023)
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement. CoRR (2023)
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming. IJCAI (2022)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR (2022)
Elisa Böhl, Sarah Alice Gaggl
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. LPNMR (2022)
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement. LPNMR (2022)
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. COMMA (2022)
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. SAFA@COMMA (2022)
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy. AAAI (2022)
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA (2022)
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. CLAR (2021)
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. 70 (2021)
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy. CoRR (2021)
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation. KR (2021)
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite. COMMA (2020)
Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva - Extension Visualization for Argumentation Frameworks. COMMA (2020)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the Second International Competition on Computational Models of Argumentation. Artif. Intell. 279 (2020)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR (2019)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation. AI Mag. 39 (4) (2018)
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation. FLAP 4 (8) (2017)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW (2017)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
Preface. Fundam. Informaticae 155 (3) (2017)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. Description Logics (2016)
Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-Based Argumentation Semantics. SUM (2016)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation. SAFA@COMMA (2016)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR (2016)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics. ECAI (2016)
Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). CoRR (2016)
Wolfgang Dvorák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics. J. Log. Comput. 26 (4) (2016)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. 15 (4-5) (2015)
Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. 220 (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI (2015)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR (2015)
Sarah Alice Gaggl, Hannes Strass
Decomposing Abstract Dialectical Frameworks. COMMA (2014)
Sarah Alice Gaggl, Stefan Woltran
The cf2 argumentation semantics revisited. J. Log. Comput. 23 (5) (2013)
Wolfgang Dvorák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics. COMMA (2012)
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems CoRR (2011)
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. INAP/WLP (2011)
Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets. ECSQARU (2011)
Sarah Alice Gaggl, Stefan Woltran
cf2 Semantics Revisited. COMMA (2010)
Sarah Alice Gaggl
Towards a General Argumentation System based on Answer-Set Programming. ICLP (Technical Communications) (2010)
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
Answer-set programming encodings for argumentation frameworks. Argument Comput. 1 (2) (2010)
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. ICLP (2008)