Haythem O. Ismail

According to our database, Haythem O. Ismail authored at least 25 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Inconsistency Measurement for Logical Agents.

Yehia A. Hatab, Haythem O. Ismail

Proceedings of the 8th International Conference on Control, 2022

2021

Correction to: Log_AG: An algebraic non-monotonic logic for reasoning with graded propositions.

Nourhan Ehab, Haythem O. Ismail

Ann. Math. Artif. Intell., 2021

Log_AG: An algebraic non-monotonic logic for reasoning with graded propositions.

Nourhan Ehab, Haythem O. Ismail

Ann. Math. Artif. Intell., 2021

Trust Is All You Need: From Belief Revision to Information Revision.

Yasser Ammar, Haythem O. Ismail

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Towards Explainable Practical Agency - A Logical Perspective.

Nourhan Ehab, Haythem O. Ismail

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

2020

Reasoning with Artificial Mental States: An Algebraic Approach.

Nourhan Ehab, Haythem O. Ismail

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

On the Joint Revision of Belief and Trust.

Yasser Ammar, Haythem O. Ismail

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

A Commonsense Theory of Secrets.

Haythem O. Ismail, Merna Shafie

Proceedings of the Formal Ontology in Information Systems, 2020

2019

A Unified Algebraic Framework for Non-Monotonicity.

Nourhan Ehab, Haythem O. Ismail

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Algorithms for Belief State Compression.

Ali Elhalawaty, Haythem O. Ismail

Proceedings of the 6th International Conference on Control, 2019

2018

Explorations into Belief State Compression.

Ali Elhalawaty, Haythem O. Ismail

Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), 2018

Towards a Unified Algebraic Framework for Non-Monotonicity.

Nourhan Ehab, Haythem O. Ismail

Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), 2018

Concatenation, Separation, and Other Properties of Variably Polyadic Relations.

Heba Aamer, Haythem O. Ismail

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

LogAG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty.

Nourhan Ehab, Haythem O. Ismail

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2015

Algebraic Semantics for Graded Propositions.

Haythem O. Ismail, Nourhan Ehab

Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), 2015

2012

<i>Log</i>_<i>A</i>B: A first-order, non-paradoxical, algebraic logic of belief.

Haythem O. Ismail

Log. J. IGPL, 2012

2011

Autodoxastic Conditional Reasoning: The Monotonic Case.

Haythem O. Ismail, Aya S. Mahfouz

Proceedings of the Modeling and Using Context, 2011

2010

A reason maintenance perspective on relevant Ramsey conditionals.

Haythem O. Ismail

Log. J. IGPL, 2010

Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception.

Haythem O. Ismail, Nasr Kasrin

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

High-Level Perception as Focused Belief Revision.

Haythem O. Ismail, Nasr Kasrin

Proceedings of the ECAI 2010, 2010

2008

On the Syntax and Semantics of Effect Axioms.

Haythem O. Ismail

Proceedings of the Formal Ontology in Information Systems, 2008

2006

Simultaneous Events and the "Once-Only" Effect.

Haythem O. Ismail

Proceedings of the Formal Ontology in Information Systems, 2006

2003

Anchoring in a grounded layered architecture with integrated reasoning.

Stuart C. Shapiro, Haythem O. Ismail

Robotics Auton. Syst., 2003

2000

Two Problems with Reasoning and Acting in Time.

Haythem O. Ismail, Stuart C. Shapiro

Proceedings of the KR 2000, 2000

Reasoning and Acting in Time.

Haythem O. Ismail

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000