Mohamed Maizia
Doctoral Student
Computer Science
Department of Computer Science and Informatics
, School of Engineering
Article
Schmidt, J., Maizia, M., Lagerkvist, V., Fichte, J.
(2025).
Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming.
More information
Conference paper
Lagerkvist, V., Maizia, M., Schmidt, J.
(2025).
A Fine-Grained Complexity View on Propositional Abduction: Algorithms and Lower Bounds.
34th Internationa Joint Conference on Artificial Intelligence, IJCAI, 16 August 2025 - 22 August 2025, Montreal.
More information
Change your information