2020

Book Chapter

2020


The Good, the Bad, and the Rational: Aspects of Character in Logical Agents

  • Haythem O. Ismail : The Good, the Bad, and the Rational: Aspects of Character in Logical Agents , Character Computing, 2020.


2019

Conference

2019


Algorithms for Belief State Compression

  • Ali Elhalawaty and Haythem O. Ismail : Algorithms for Belief State Compression , IEEE Sixth International Conference on Control, Decision and Information Technologies, 2019.

Conference

2019


A Unified Algebraic Framework for Non-Monotonicity

  • Nourhan Ehab and Haythem O. Ismail : A Unified Algebraic Framework for Non-Monotonicity , 17th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), 2019.


2018

Conference

2018


Concatenation, Separation, and Other Properties of Variably Polyadic Relations

  • Heba Aamer and Haythem O. Ismail : Concatenation, Separation, and Other Properties of Variably Polyadic Relations , 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018), 2018.

Workshop

2018


Towards a Unified Algebraic Framework for Non-Monotonicity

  • Nourhan Ehab and Haythem O. Ismail : Towards a Unified Algebraic Framework for Non-Monotonicity , Formal and Cognitive Reasoning: Workshop at the 41st German Conference on Artificial Intelligence (KI-2018), 2018.

Workshop

2018


Explorations into Belief State Compression

  • Ali Elhalawaty and Haythem O. Ismail : Explorations into Belief State Compression , Formal and Cognitive Reasoning: Workshop at the 41st German Conference on Artificial Intelligence (KI-2018), 2018.


2017

Book Chapter

2017


Four Remarks on Relations and Predication

  • Haythem O. Ismail : Four Remarks on Relations and Predication , The Logica Yearbook 2016, 2017.

Conference

2017


Log_AG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty

  • Nourhan Ehab and Haythem O. Ismail : Log_AG: An Algebraic Non-Monotonic Logic for Reasoning with Uncertainty , Commonsense 2017, 2017.

Conference

2017


Towards a Logical Analysis of Misleading and Trust Erosion

  • Haythem O. Ismail and Patrick Attia : Towards a Logical Analysis of Misleading and Trust Erosion , Commonsense 2017, 2017.


2015

Workshop

2015


Algebraic Semantics for Graded Propositions

  • Haythem O. Ismail and Nourhan Ehab : Algebraic Semantics for Graded Propositions , 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) , 2015.


2013

Conference

2013


Stability in a Commonsense Ontology of States

  • Haythem O. Ismail : Stability in a Commonsense Ontology of States , COMMONSENSE 2013, 2013.


2012

Journal

2012


LogAB: A First-Order, Non-Paradoxical, Algebraic Logic of Belief

  • Haythem O. Ismail : LogAB: A First-Order, Non-Paradoxical, Algebraic Logic of Belief , Logic Journal of the IGPL, 2012.
doi: 10.1093/jigpal/jzs007.

Workshop

2012


Now: Between Indexical Thoughts and Indexical Thought

  • Haythem O. Ismail : Now: Between Indexical Thoughts and Indexical Thought , International Workshop on Spatio-Temporal Dynamics (STeDy 2012), workshop of ECAI 2012, 2012.


2011

Conference

2011


Autodoxastic Conditional Reasoning: The Monotonic Case

  • Haythem O. Ismail and Aya S. Mahfouz : Autodoxastic Conditional Reasoning: The Monotonic Case , Proceedings of the 7th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'11), 2011.
pp. 124--137


2010

Conference

2010


High-Level Perception as Grounded Focused Belief Revision

  • Haythem O. Ismail and Nasr Kasrin : High-Level Perception as Grounded Focused Belief Revision , 19th European Conference on Artificial Intelligence - ECAI 2010, 2010.

Conference

2010


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

  • Haythem O. Ismail and Nasr Kasrin : Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception , 33rd German AI Conference (KI 2010), 2010.
In press.


2009

Journal

2009


A Reason Maintenance Perspective on Relevant Ramsey Conditionals

  • Haythem O. Ismail : A Reason Maintenance Perspective on Relevant Ramsey Conditionals , Logic Journal of the IGPL; doi:10.1093/jigpal/jzp036., 2009.
Preprint

Workshop

2009


LogAB: An Algebraic Logic of Belief

  • Haythem O. Ismail : LogAB: An Algebraic Logic of Belief , Relational Approaches to Knowledge Representation and Learning: Workshop of the 32nd German Conference on Artificial Intelligence, pages 2--18, 2009.

Workshop

2009


Transforming Imperative Algorithms to Constraint Handling Rules

  • Slim Abdennadher, Haythem Ismail, and Frederick Khoury : Transforming Imperative Algorithms to Constraint Handling Rules , Proceedings of the 23rd Workshop on (Constraint) Logic Programming (WLP 2009), 2009.


2008

Conference

2008


On the Syntax and Semantics of Effect Axioms

  • Haythem O. Ismail : On the Syntax and Semantics of Effect Axioms , Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS-08), pages 223--236. IOS Press., 2008.


2007

Workshop

2007


Reason Maintenance and the Ramsey Test

  • Haythem O. Ismail : Reason Maintenance and the Ramsey Test , Dynamics of Knowledge and Belief: Workshop at the 30th German Conference on Artificial Intelligence (KI-2007), 2007.


2006

Conference

2006


Simultaneous Events and the "Once Only" Effect

  • Haythem O. Ismail : Simultaneous Events and the "Once Only" Effect , Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS-06), pp. 143--154. Amsterdam: IOS Press. , 2006.


2003

Journal

2003


Anchoring in a Grounded Layered Architecture with Integrated Reasoning

  • Stuart C. Shapiro and Haythem O. Ismail : Anchoring in a Grounded Layered Architecture with Integrated Reasoning , Robotics and Autonomous Systems 43, 97—108, 2003.


2001

Technical Report

2001


Reasoning and Acting in Time

  • Haythem O. Ismail : Reasoning and Acting in Time , Ph. D. thesis, technical report 2001-11, Department of Computer Science and Engineering, University at Buffalo., 2001.

Workshop

2001


Symbol-Anchoring in Cassie

  • Stuart C. Shapiro and Haythem O. Ismail : Symbol-Anchoring in Cassie , Anchoring Symbols to Sensor Data in Single and Multiple Robot Systems: Papers from the 2001 AAAI Fall Symposium, Technical Report FS-01-01, AAAI Press, 2-8. , 2001.

Technical Report

2001


The Cognitive Clock: A Formal Investigation of the Epistemology of Time

  • Haythem O. Ismail and Stuart C. Shapiro : The Cognitive Clock: A Formal Investigation of the Epistemology of Time , Technical report 2001-08, Department of Computer Science and Engineering, University at Buffalo, 2001.


2000

Conference

2000


Reasoning and Acting in Time

  • Haythem O. Ismail : Reasoning and Acting in Time , Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI’2000), page 1104, AAAI Press/ MIT Press. , 2000.

Conference

2000


Two Problems with Reasoning and Acting in Time

  • Haythem O. Ismail and Stuart C. Shapiro : Two Problems with Reasoning and Acting in Time , Principles of Knowledge Representation and Reasoning: Proceeding of the Seventh International Conference (KR’2000), pages 355—365, San Francisco, CA, Morgan Kaufmann, 2000.

Conference

2000


Conscious Error Recovery and Interrupt Handling.

  • Haythem O. Ismail and Stuart C. Shapiro : Conscious Error Recovery and Interrupt Handling. , Proceedings of the International Conference on Artificial Intelligence (IC-AI’2000), pages 633—639, Las Vegas, NV, CSREA Press, 2000.

Workshop

2000


Our Dinner with Cassie

  • Stuart C. Shapiro and Haythem O. Ismail and John F. Santore : Our Dinner with Cassie , Working Notes for the AAAI 2000 Spring Symposium on Natural Dialogue with Practical Robotic Devices. AAAI, Menlo Park, CA, 57—61. , 2000.


1999

Technical Report

1999


Cascaded Acts: Conscious Sequential Acting for Embodied Agents.

  • Haythem O. Ismail and Stuart C. Shapiro : Cascaded Acts: Conscious Sequential Acting for Embodied Agents. , Technical report 99-10, Department of Computer Science and Engineering, University at Buffalo, 1999.


RenewSession