Sarah Alice Gaggl

Orcid: 0000-0003-2425-6089

Affiliations:
  • TU Dresden, International Center for Computational Logic, Germany
  • Vienna University of Technology, Vienna, Austria (PhD 2013)


According to our database1, Sarah Alice Gaggl authored at least 40 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Representative Answer Sets: Collecting Something of Everything.
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.
J. Artif. Intell. Res., 2022

IASCAR: Incremental Answer Set Counting by Anytime Refinement.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Simulating Sets in Answer Set Programming.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.
Proceedings of the Computational Models of Argument, 2022

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
Proceedings of the Computational Models of Argument, 2022

Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.
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.
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.
J. Artif. Intell. Res., 2021

Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020
Design and results of the Second International Competition on Computational Models of Argumentation.
Artif. Intell., 2020

Neva - Extension Visualization for Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2020

The ASPARTIX System Suite.
Proceedings of the Computational Models of Argument, 2020

2018
Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Mag., 2018

2017
Preface.
Fundam. Informaticae, 2017

Foundations of Implementations for Formal Argumentation.
FLAP, 2017

Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract.
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.
J. Log. Comput., 2016

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

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

Intertranslatability of Labeling-Based Argumentation Semantics.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

Fixed-Domain Reasoning for Description Logics.
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.
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.
Theory Pract. Log. Program., 2015

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

Methods for solving reasoning problems in abstract argumentation - A survey.
Artif. Intell., 2015

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

What Is a Reasonable Argumentation Semantics?
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014
Decomposing Abstract Dialectical Frameworks.
Proceedings of the Computational Models of Argument, 2014

2013
The cf2 argumentation semantics revisited.
J. Log. Comput., 2013

2012
Computational Aspects of cf2 and stage2 Argumentation Semantics.
Proceedings of the Computational Models of Argument, 2012

2011
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
Answer-set programming encodings for argumentation frameworks.
Argument Comput., 2010

Towards a General Argumentation System based on Answer-Set Programming.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

cf2 Semantics Revisited.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2008
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008


  Loading...