Sarah Alice Gaggl

59 papers A* 7A 2B 6C 8Journal 23Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Grounding Rule-Based Argumentation Using Datalog. KR Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
2025	J	`jnl`	Grounding Rule-Based Argumentation Using Datalog. CoRR Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
2025	A*	`conf`	Interactive Exploration of Plan Spaces. KR Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte
2024	J	`jnl`	IASCAR: Incremental Answer Set Counting by Anytime Refinement. Theory Pract. Log. Program. Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2024	—	`conf`	Navigating ASP Solution Spaces (Invited Talk, Abstract). NMR Sarah Alice Gaggl
2024	A*	`conf`	Navigating and Querying Answer Sets: How Hard Is It Really and Why? KR Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte
2024	J	`jnl`	Winning Snake: Design Choices in Multi-Shot ASP. CoRR Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
2024	J	`jnl`	Winning Snake: Design Choices in Multi-Shot ASP. Theory Pract. Log. Program. Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
2023	J	`jnl`	IASCAR: Incremental Answer Set Counting by Anytime Refinement. CoRR Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2023	B	`ed.`	Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings JELIA Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz
2023	B	`ed.`	Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. ICLP Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023	A	`conf`	Representative Answer Sets: Collecting Something of Everything. ECAI Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
2022	C	`conf`	ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022	J	`jnl`	Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
2022	B	`conf`	IASCAR: Incremental Answer Set Counting by Anytime Refinement. LPNMR Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2022	C	`conf`	NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. COMMA Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
2022	—	`ed.`	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. SAFA Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner
2022	B	`conf`	Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022	A*	`conf`	Rushing and Strolling among Answer Sets - Navigation Made Easy. AAAI Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
2022	A*	`conf`	Simulating Sets in Answer Set Programming. IJCAI Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
2022	—	`conf`	Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. SAFA Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
2022	B	`conf`	Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. LPNMR Elisa Böhl, Sarah Alice Gaggl
2021	A*	`conf`	Admissibility in Probabilistic Argumentation. KR Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
2021	—	`conf`	Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. CLAR Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
2021	J	`jnl`	On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
2021	J	`jnl`	Rushing and Strolling among Answer Sets - Navigation Made Easy. CoRR Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
2020	J	`jnl`	Design and results of the Second International Competition on Computational Models of Argumentation. Artif. Intell. Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2020	C	`conf`	Neva - Extension Visualization for Argumentation Frameworks. COMMA Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
2020	—	`ed.`	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. SAFA Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
2020	C	`conf`	The ASPARTIX System Suite. COMMA Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
2019	J	`jnl`	Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2018	J	`jnl`	Summary Report of the Second International Competition on Computational Models of Argumentation. AI Mag. Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2017	J	`jnl`	Foundations of Implementations for Formal Argumentation. FLAP Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes P. Wallner
2017	—	`conf`	Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. AMW Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2017	J	`jnl`	Preface. Fundam. Informaticae Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
2016	—	`conf`	Fixed-Domain Reasoning for Description Logics. Description Logics Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2016	A	`conf`	Fixed-Domain Reasoning for Description Logics. ECAI Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2016	—	`conf`	Intertranslatability of Labeling-Based Argumentation Semantics. SUM Sarah Alice Gaggl, Umer Mushtaq
2016	—	`conf`	Introducing the Second International Competition on Computational Models of Argumentation. SAFA Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2016	J	`jnl`	Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
2016	J	`jnl`	Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). CoRR Sarah Alice Gaggl, Matthias Thimm
2016	J	`jnl`	Stage semantics and the SCC-recursive schema for argumentation semantics. J. Log. Comput. Wolfgang Dvorák, Sarah Alice Gaggl
2015	J	`jnl`	Bound Your Models! How to Make OWL an ASP Modeling Language. CoRR Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
2015	J	`jnl`	Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015	J	`jnl`	Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015	J	`jnl`	Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2015	A*	`conf`	On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
2015	—	`conf`	Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
2015	—	`conf`	What Is a Reasonable Argumentation Semantics? Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
2014	C	`conf`	Decomposing Abstract Dialectical Frameworks. COMMA Sarah Alice Gaggl, Hannes Strass
2013	J	`jnl`	The cf2 argumentation semantics revisited. J. Log. Comput. Sarah Alice Gaggl, Stefan Woltran
2012	C	`conf`	Computational Aspects of cf2 and stage2 Argumentation Semantics. COMMA Wolfgang Dvorák, Sarah Alice Gaggl
2011	J	`jnl`	Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems CoRR Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2011	—	`conf`	Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. INAP/WLP Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
2011	C	`conf`	Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets. ECSQARU Sarah Alice Gaggl, Stefan Woltran
2010	J	`jnl`	Answer-set programming encodings for argumentation frameworks. Argument Comput. Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
2010	—	`conf`	Towards a General Argumentation System based on Answer-Set Programming. ICLP (Technical Communications) Sarah Alice Gaggl
2010	C	`conf`	cf2 Semantics Revisited. COMMA Sarah Alice Gaggl, Stefan Woltran
2008	B	`conf`	ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. ICLP Uwe Egly, Sarah Alice Gaggl, Stefan Woltran