Haythem O. Ismail

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