| 2022 | CoDIT | Inconsistency Measurement for Logical Agents. | Yehia A. Hatab, Haythem O. Ismail |
| 2021 | JELIA | Trust Is All You Need: From Belief Revision to Information Revision. | Yasser Ammar, Haythem O. Ismail |
| 2020 | FOIS | A Commonsense Theory of Secrets. | Haythem O. Ismail, Merna Shafie |
| 2020 | KI | On the Joint Revision of Belief and Trust. | Yasser Ammar, Haythem O. Ismail |
| 2020 | KI | Reasoning with Artificial Mental States: An Algebraic Approach. | Nourhan Ehab, Haythem O. Ismail |
| 2019 | CoDIT | Algorithms for Belief State Compression. | Ali Elhalawaty, Haythem O. Ismail |
| 2018 | KI | Towards a Unified Algebraic Framework for Non-Monotonicity. | Nourhan Ehab, Haythem O. Ismail |
| 2018 | KI | Explorations into Belief State Compression. | Ali Elhalawaty, Haythem O. Ismail |
| 2015 | KI | Algebraic Semantics for Graded Propositions. | Haythem O. Ismail, Nourhan Ehab |
| 2010 | ECAI | High-Level Perception as Focused Belief Revision. | Haythem O. Ismail, Nasr Kasrin |
| 2010 | KI | Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception. | Haythem O. Ismail, Nasr Kasrin |
| 2008 | FOIS | On the Syntax and Semantics of Effect Axioms. | Haythem O. Ismail |
| 2006 | FOIS | Simultaneous Events and the "Once-Only" Effect. | Haythem O. Ismail |
| 2000 | AAAI | Reasoning and Acting in Time. | Haythem O. Ismail |
| 2000 | KR | Two Problems with Reasoning and Acting in Time. | Haythem O. Ismail, Stuart C. Shapiro |