Johannes Klaus Fichte
Universitetslektor
Publikationer
2026
Counting Complexity of ASP
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning
(Konferensbidrag)
Reverse-Engineering Constraint Models from CNFs: An Agentic Approach
Proceedings of the 17th International Workshop on Pragmatics of SAT
(Konferensbidrag)
Maximum Satisfiability of Simple Temporal Problems
Proceedings of the 35th International Joint Conference on Artificial Intelligence
(Konferensbidrag)
Abstracting the Indistinguishable in ASP
Proceedings of the 35th International Joint Conference on Artificial Intelligence
(Konferensbidrag)
Representative Sets in Propositional Abduction
Proceedings of the 42nd International Conference on Logic Programming
(Konferensbidrag)
https://dx.doi.org/10.4204/EPTCS.450.1
