Johannes Klaus Fichte
Universitetslektor
Publikationer
2025
Complexity of Faceted Explanations in Propositional Abduction
Theory and Practice of Logic Programming, Vol. 25, s. 775-793
(Artikel i tidskrift)
https://dx.doi.org/10.1017/S1471068425100215
Verified SAT Redundancy Checking in SPARK
29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025): Work-in-progress track
(Konferensbidrag)
PlanPilot: Interactive Exploration of Plan Spaces
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)
(Konferensbidrag)
Graphical Navigation in Solution Spaces using PlanPilot
(Rapport)
Facets in Argumentation: A Formal Approach to Argument Significance
Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI'25), s. 4491-4499
(Konferensbidrag)
