Mohamed Maizia

Publikationer

2026

Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte (2026) Representative Sets in Propositional Abduction Proceedings of the 42nd International Conference on Logic Programming (Konferensbidrag) https://dx.doi.org/10.4204/EPTCS.450.1

2025

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, s. 4562-4569 (Konferensbidrag) https://dx.doi.org/10.24963/ijcai.2025/508

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, s. 775-793 (Artikel i tidskrift) https://dx.doi.org/10.1017/S1471068425100215

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, s. 775-793 (Artikel i tidskrift) https://dx.doi.org/10.1017/S1471068425100215