Haythem O. Ismail

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 14

Top Topics

Logical Representation

Inconsistent Knowledge

Reasoning Process

Top Venues

Ann. Math. Artif. Intell.

Publications

Yehia A. Hatab, Haythem O. Ismail
Inconsistency Measurement for Logical Agents. CoDIT (2022)
Nourhan Ehab, Haythem O. Ismail
G: An algebraic non-monotonic logic for reasoning with graded propositions. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Yasser Ammar, Haythem O. Ismail
Trust Is All You Need: From Belief Revision to Information Revision. JELIA (2021)
Nourhan Ehab, Haythem O. Ismail
Towards Explainable Practical Agency - A Logical Perspective. EXTRAAMAS@AAMAS (2021)
Nourhan Ehab, Haythem O. Ismail
G: An algebraic non-monotonic logic for reasoning with graded propositions. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Yasser Ammar, Haythem O. Ismail
On the Joint Revision of Belief and Trust. FCR@KI (2020)
Haythem O. Ismail, Merna Shafie
A Commonsense Theory of Secrets. FOIS (2020)
Nourhan Ehab, Haythem O. Ismail
Reasoning with Artificial Mental States: An Algebraic Approach. FCR@KI (2020)
Nourhan Ehab, Haythem O. Ismail
A Unified Algebraic Framework for Non-Monotonicity. TARK (2019)
Ali Elhalawaty, Haythem O. Ismail
Algorithms for Belief State Compression. CoDIT (2019)
Heba Aamer, Haythem O. Ismail
Concatenation, Separation, and Other Properties of Variably Polyadic Relations. FoIKS (2018)
Ali Elhalawaty, Haythem O. Ismail
Explorations into Belief State Compression. DKB/KIK@KI (2018)
Nourhan Ehab, Haythem O. Ismail
Towards a Unified Algebraic Framework for Non-Monotonicity. DKB/KIK@KI (2018)
Nourhan Ehab, Haythem O. Ismail
LogAG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty. COMMONSENSE (2017)
Haythem O. Ismail, Nourhan Ehab
Algebraic Semantics for Graded Propositions. DKB/KIK@KI (2015)
Haythem O. Ismail
B: A first-order, non-paradoxical, algebraic logic of belief. Log. J. IGPL 20 (5) (2012)
Haythem O. Ismail, Aya S. Mahfouz
Autodoxastic Conditional Reasoning: The Monotonic Case. CONTEXT (2011)
Haythem O. Ismail, Nasr Kasrin
High-Level Perception as Focused Belief Revision. ECAI (2010)
Haythem O. Ismail, Nasr Kasrin
Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception. KI (2010)
Haythem O. Ismail
A reason maintenance perspective on relevant Ramsey conditionals. Log. J. IGPL 18 (4) (2010)
Haythem O. Ismail
On the Syntax and Semantics of Effect Axioms. FOIS (2008)
Haythem O. Ismail
Simultaneous Events and the "Once-Only" Effect. FOIS (2006)
Stuart C. Shapiro, Haythem O. Ismail
Anchoring in a grounded layered architecture with integrated reasoning. Robotics Auton. Syst. 43 (2-3) (2003)
Haythem O. Ismail, Stuart C. Shapiro
Two Problems with Reasoning and Acting in Time. KR (2000)
Haythem O. Ismail
Reasoning and Acting in Time. AAAI/IAAI (2000)