default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSarah Alice Gaggl
Person information
- affiliation: TU Dresden, International Center for Computational Logic, Germany
- affiliation (PhD 2013): Vienna University of Technology, Vienna, Austria
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Johannes Klaus Fichte, Sarah Alice Gaggl
, Markus Hecher, Dominik Rusovac:
IASCAR: Incremental Answer Set Counting by Anytime Refinement. Theory Pract. Log. Program. 24(3): 505-532 (2024)- [j12]Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl:
Winning Snake: Design Choices in Multi-Shot ASP. Theory Pract. Log. Program. 24(4): 772-789 (2024) - [c30]Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte:
Navigating and Querying Answer Sets: How Hard Is It Really and Why? KR 2024 - [c29]Sarah Alice Gaggl:
Navigating ASP Solution Spaces (Invited Talk, Abstract). NMR 2024: 2 - [i9]Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl:
Winning Snake: Design Choices in Multi-Shot ASP. CoRR abs/2408.08150 (2024) - 2023
- [c28]Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac:
Representative Answer Sets: Collecting Something of Everything. ECAI 2023: 271-278 - [e4]Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz:
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14281, Springer 2023, ISBN 978-3-031-43618-5 [contents] - [e3]Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents] - [i8]Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac:
IASCAR: Incremental Answer Set Counting by Anytime Refinement. CoRR abs/2311.07233 (2023) - 2022
- [j11]Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [c27]Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac:
Rushing and Strolling among Answer Sets - Navigation Made Easy. AAAI 2022: 5651-5659 - [c26]Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca:
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. SAFA@COMMA 2022: 59-72 - [c25]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: 116-127 - [c24]Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner:
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA 2022: 355-356 - [c23]Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch:
Simulating Sets in Answer Set Programming. IJCAI 2022: 2634-2640 - [c22]Elisa Böhl, Sarah Alice Gaggl:
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. LPNMR 2022: 89-102 - [c21]Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner:
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR 2022: 177-189 - [c20]Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac:
IASCAR: Incremental Answer Set Counting by Anytime Refinement. LPNMR 2022: 217-230 - [e2]Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner:
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022. CEUR Workshop Proceedings 3236, CEUR-WS.org 2022 [contents] - 2021
- [j10]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: 1-64 (2021) - [c19]Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca:
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. CLAR 2021: 147-168 - [c18]Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [i7]Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac:
Rushing and Strolling among Answer Sets - Navigation Made Easy. CoRR abs/2112.07596 (2021) - 2020
- [j9]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) - [c17]Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
The ASPARTIX System Suite. COMMA 2020: 461-462 - [c16]Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph:
Neva - Extension Visualization for Argumentation Frameworks. COMMA 2020: 477-478 - [e1]Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati:
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020. CEUR Workshop Proceedings 2672, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [i6]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR abs/1909.00621 (2019) - 2018
- [j8]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): 77-79 (2018) - 2017
- [j7]Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner:
Foundations of Implementations for Formal Argumentation. FLAP 4(8) (2017) - [j6]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni:
Preface. Fundam. Informaticae 155(3): i-iii (2017) - [c15]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW 2017 - 2016
- [j5]Wolfgang Dvorák, Sarah Alice Gaggl:
Stage semantics and the SCC-recursive schema for argumentation semantics. J. Log. Comput. 26(4): 1149-1202 (2016) - [c14]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Introducing the Second International Competition on Computational Models of Argumentation. SAFA@COMMA 2016: 4-9 - [c13]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. Description Logics 2016 - [c12]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. ECAI 2016: 819-827 - [c11]Sarah Alice Gaggl, Umer Mushtaq:
Intertranslatability of Labeling-Based Argumentation Semantics. SUM 2016: 155-169 - [i5]Sarah Alice Gaggl, Matthias Thimm:
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). CoRR abs/1608.02441 (2016) - [i4]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 abs/1611.02439 (2016) - 2015
- [j4]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: 28-63 (2015) - [j3]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): 434-448 (2015) - [c10]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: 249-264 - [c9]Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo:
What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 309-324 - [c8]Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass:
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI 2015: 2985-2991 - [i3]Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR abs/1507.06689 (2015) - [i2]Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR abs/1511.00924 (2015) - 2014
- [c7]Sarah Alice Gaggl, Hannes Strass:
Decomposing Abstract Dialectical Frameworks. COMMA 2014: 281-292 - 2013
- [j2]Sarah Alice Gaggl, Stefan Woltran:
The cf2 argumentation semantics revisited. J. Log. Comput. 23(5): 925-949 (2013) - 2012
- [c6]Wolfgang Dvorák, Sarah Alice Gaggl:
Computational Aspects of cf2 and stage2 Argumentation Semantics. COMMA 2012: 273-284 - 2011
- [c5]Sarah Alice Gaggl, Stefan Woltran:
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets. ECSQARU 2011: 38-49 - [c4]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: 114-133 - [i1]Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran:
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. CoRR abs/1108.4942 (2011) - 2010
- [j1]Uwe Egly, Sarah Alice Gaggl, Stefan Woltran:
Answer-set programming encodings for argumentation frameworks. Argument Comput. 1(2): 147-177 (2010) - [c3]Sarah Alice Gaggl, Stefan Woltran:
cf2 Semantics Revisited. COMMA 2010: 243-254 - [c2]Sarah Alice Gaggl:
Towards a General Argumentation System based on Answer-Set Programming. ICLP (Technical Communications) 2010: 265-269
2000 – 2009
- 2008
- [c1]Uwe Egly, Sarah Alice Gaggl, Stefan Woltran:
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. ICLP 2008: 734-738
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
