Mohamed Maizia
Doctoral Student
Computer Science
Department of Computer Science and Informatics
, School of Engineering
Change your information Article
Schmidt, J., Maizia, M., Lagerkvist, V., Fichte, J.
(2025).
Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming, 25(4), 775-793.
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
Maizia, M.
(2025).
Precise Exponential-Time Complexity of Non-Monotonic Reasoning.
Joint Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming, ICLP-WS-DC 2025, 9 September 2025 - 13 September 2025, Rende, Italy.
More information