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