Fichte, Johannes Klaus

17 publications

AAAI 2025 Counting and Reasoning with Plans David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa

IJCAI 2025 Facets in Argumentation: A Formal Approach to Argument Significance Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

JAIR 2024 Counting Complexity for Reasoning in Abstract Argumentation Johannes Klaus Fichte, Markus Hecher, Arne Meier

IJCAI 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran

AAAI 2024 Parallel Empirical Evaluations: Resilience Despite Concurrency Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel

AAAI 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity Johannes Klaus Fichte, Markus Hecher, Stefan Szeider

IJCAI 2023 Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

AAAI 2022 ApproxASP - A Scalable Approximate Answer Set Counter Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel

IJCAI 2022 Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem

AAAI 2022 Rushing and Strolling Among Answer Sets - Navigation Made Easy Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac

IJCAI 2021 Decomposition-Guided Reductions for Argumentation and Treewidth Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

AAAI 2021 Knowledge-Base Degrees of Inconsistency: Complexity and Counting Johannes Klaus Fichte, Markus Hecher, Arne Meier

AAAI 2019 Counting Complexity for Reasoning in Abstract Argumentation Johannes Klaus Fichte, Markus Hecher, Arne Meier

AAAI 2013 Backdoors to Normality for Disjunctive Logic Programs Johannes Klaus Fichte, Stefan Szeider

AAAI 2013 Backdoors to Tractability of Answer-Set Programming Johannes Klaus Fichte

IJCAI 2011 Backdoors to Tractable Answer-Set Programming Johannes Klaus Fichte, Stefan Szeider

JAIR 2011 Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution Albert Atserias, Johannes Klaus Fichte, Marc Thurley