Mohamed Maizia

Victor Lagerkvist, Mohamed Maizia, Johannes Schmidt (2025)

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds PROCEEDINGS OF THE THIRTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2025, p. 4562-4569 (Conference paper)

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2025)

Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming, Vol. 25, p. 775-793 (Article in journal)

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2025)

Complexity of Faceted Explanations in Propositional Abduction Theory and Practice of Logic Programming, Vol. 25, p. 775-793 (Article in journal)

Publications