Johanna Groven
PhD student
Publications
2026
Counting Complexity of ASP
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning
(Conference paper)
Maximum Satisfiability of Simple Temporal Problems
Proceedings of the 35th International Joint Conference on Artificial Intelligence
(Conference paper)
Structure-Aware Encodings of Argumentation Properties for Clique-width
FORTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-26, VOL 40 NO 23, p. 19294-19302
(Conference paper)