Follow
Haythem O. Ismail
Haythem O. Ismail
Associate Professor of Computer Science, Cairo University and the German University in Cairo
Verified email at guc.edu.eg
Title
Cited by
Cited by
Year
An IoT-based cognitive monitoring system for early plant disease forecast
A Khattab, S Habib, H Ismail, S Zayan, Y Fahmy, M Khairy
Computers and Electronics in Agriculture 166, 2019
1272019
Anchoring in a grounded layered architecture with integrated reasoning
SC Shapiro, HO Ismail
Robotics and Autonomous Systems 43 (2-3), 97-108, 2003
692003
Two problems with reasoning and acting in time
HO Ismail, SC Shapiro
KR, 355-365, 2000
322000
Reasoning and acting in time
HO Ismail
State University of New York at Buffalo, 2001
202001
Our dinner with Cassie
SC Shapiro, HO Ismail, JF Santore
Working notes for the AAAI 2000 Spring symposium on natural dialogues with …, 2000
182000
Symbol-anchoring in Cassie
SC Shapiro, HO Ismail
Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems …, 2001
122001
LogAB: A first-order, non-paradoxical, algebraic logic of belief
HO Ismail
Logic Journal of the IGPL 20 (5), 774-795, 2012
102012
Stability in a commonsense ontology of states
HO Ismail
Proceedings of the Eleventh International Symposium on Logical Formalization …, 2013
82013
Cascaded acts: Conscious sequential acting for embodied agents
HO Ismail, SC Shapiro
Department of Computer Science, State University of New York at Buffalo, 2000
82000
Conscious error recovery and interrupt handling
HO Ismail, SC Shapiro
Proceedings of the International Conference on Artificial Intelligence (IC …, 2000
82000
The Good, the Bad, and the Rational: Aspects of Character in Logical Agents
HO Ismail
Character Computing, 139-164, 2020
52020
Algebraic Semantics for Graded Propositions.
HO Ismail, N Ehab
DKB/KIK@ KI, 29-42, 2015
52015
A reason maintenance perspective on relevant Ramsey conditionals
HO Ismail
Logic Journal of the IGPL 18 (4), 508-529, 2010
52010
Reasoning and Acting in Time. State University of New York at Buffalo
HO Ismail
Ph. D dissertation, 2001
52001
L og AG: An algebraic non-monotonic logic for reasoning with graded propositions
N Ehab, HO Ismail
Annals of Mathematics and Artificial Intelligence 89 (1), 103-158, 2021
42021
High-level perception as focused belief revision
H Ismail, N Kasrin
ECAI 2010, 1145-1146, 2010
42010
The cognitive clock: A formal investigation of the epistemology of time
HO Ismail, SC Shapiro
Department of Computer Science, State University of New York at Buffalo, 2001
42001
Information revision: The joint revision of belief and trust
A Yasser, HO Ismail
Proceedings of the 18th International Workshop on Non-Monotonic Reasoning …, 2020
32020
Towards a Unified Algebraic Framework for Non-Monotonicity.
N Ehab, HO Ismail
DKB/KIK@ KI, 26-40, 2018
32018
LogAG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty.
N Ehab, HO Ismail
COMMONSENSE, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20