Sarah Alice Gaggl

According to our database, Sarah Alice Gaggl authored at least 43 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

IASCAR: Incremental Answer Set Counting by Anytime Refinement.

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac

Theory Pract. Log. Program., March, 2024

Winning Snake: Design Choices in Multi-Shot ASP.

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl

CoRR, 2024

Navigating ASP Solution Spaces (Invited Talk, Abstract).

Sarah Alice Gaggl

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

Navigating and Querying Answer Sets: How Hard Is It Really and Why?

Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

Representative Answer Sets: Collecting Something of Everything.

Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Admissibility in Probabilistic Argumentation.

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

J. Artif. Intell. Res., 2022

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy.

Elisa Böhl, Sarah Alice Gaggl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Simulating Sets in Answer Set Programming.

Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.

Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang

Proceedings of the Computational Models of Argument, 2022

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner

Proceedings of the Computational Models of Argument, 2022

Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca

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), 2022

Rushing and Strolling among Answer Sets - Navigation Made Easy.

Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß

J. Artif. Intell. Res., 2021

Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation.

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Design and results of the Second International Competition on Computational Models of Argumentation.

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran

Artif. Intell., 2020

Neva - Extension Visualization for Argumentation Frameworks.

Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph

Proceedings of the Computational Models of Argument, 2020

The ASPARTIX System Suite.

Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran

Proceedings of the Computational Models of Argument, 2020

2018

Summary Report of the Second International Competition on Computational Models of Argumentation.

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran

AI Mag., 2018

2017

Preface.

Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni

Fundam. Informaticae, 2017

Foundations of Implementations for Formal Argumentation.

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner

FLAP, 2017

Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Stage semantics and the SCC-recursive schema for argumentation semantics.

Wolfgang Dvorák, Sarah Alice Gaggl

J. Log. Comput., 2016

Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16).

Sarah Alice Gaggl, Matthias Thimm

CoRR, 2016

Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016).

Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass

CoRR, 2016

Intertranslatability of Labeling-Based Argumentation Semantics.

Sarah Alice Gaggl, Umer Mushtaq

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

Fixed-Domain Reasoning for Description Logics.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Introducing the Second International Competition on Computational Models of Argumentation.

Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran

Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

2015

Improved answer-set programming encodings for abstract argumentation.

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran

Theory Pract. Log. Program., 2015

Bound Your Models! How to Make OWL an ASP Modeling Language.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

CoRR, 2015

Methods for solving reasoning problems in abstract argumentation - A survey.

Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran

Artif. Intell., 2015

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

What Is a Reasonable Argumentation Semantics?

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks.

Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Decomposing Abstract Dialectical Frameworks.

Sarah Alice Gaggl, Hannes Strass

Proceedings of the Computational Models of Argument, 2014

2013

The cf2 argumentation semantics revisited.

Sarah Alice Gaggl, Stefan Woltran

J. Log. Comput., 2013

2012

Computational Aspects of cf2 and stage2 Argumentation Semantics.

Wolfgang Dvorák, Sarah Alice Gaggl

Proceedings of the Computational Models of Argument, 2012

2011

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.

Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets.

Sarah Alice Gaggl, Stefan Woltran

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Answer-set programming encodings for argumentation frameworks.

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran

Argument Comput., 2010

Towards a General Argumentation System based on Answer-Set Programming.

Sarah Alice Gaggl

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

cf2 Semantics Revisited.

Sarah Alice Gaggl, Stefan Woltran

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2008

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran

Proceedings of the Logic Programming, 24th International Conference, 2008