Photo of Johannes Klaus Fichte

Johannes Klaus Fichte

Associate Professor

My research interest is in computational algorithmics, complexity, and practical applications thereof, including implementations of parameterized algorithms for various combinatorial hard problems.

My research

My research interest is in computational algorithmics, complexity, and practical applications thereof, including implementations of parameterized algorithms for various combinatorial hard problems. I focus on model counting propositional formulas and various formalisms in AI, the Boolean satisfiability problem (SAT), and answer-set programming (ASP). I have an industry background in applications of data analysis and evaluation in health care.

See my Google Scholar or DBLP for more information and recent publications.

Publications

2025

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2025) Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming (Article in journal) Continue to DOI
Johannes Klaus Fichte, Tobias Philipp (2025) Verified SAT Redundancy Checking in SPARK 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025): Work-in-progress track (Conference paper)
Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte (2025) PlanPilot: Interactive Exploration of Plan Spaces Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) (Conference paper)
Michelle Kornherr, Augusto B. Corrêa, Sarah Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes Klaus Fichte, Daniel Gnad (2025) Graphical Navigation in Solution Spaces using PlanPilot
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson (2025) Facets in Argumentation: A Formal Approach to Argument Significance Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI'25) (Conference paper)

About the division

Colleagues at AIICS

About the department