A Unified Algebraic Framework for Non-Monotonicity

Autor: Ehab, Nourhan, Ismail, Haythem O.

Publikováno v: EPTCS 297, 2019, pp. 155-174

Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called fo

Externí odkaz: http://arxiv.org/abs/1907.09103

Transforming imperative algorithms to constraint handling rules

Autor: Abdennadher, Slim, Ismail, Haythem, Khoury, Frederick

Publikováno v: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 139 - 153

Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the

Externí odkaz: http://opus.kobv.de/ubp/volltexte/2010/4153/

Anchoring in a grounded layered architecture with integrated reasoning

Autor: Shapiro, Stuart C., Ismail, Haythem O.

Publikováno v: In Robotics and Autonomous Systems 2003 43(2):97-108

LogAB: A first-order, non-paradoxical, algebraic logic of belief.

Autor: Ismail, Haythem O.¹

Publikováno v: Logic Journal of the IGPL. Oct2012, Vol. 20 Issue 5, p774-795. 22p.

‘Pre-endoscopy point of care test (Simtomax- IgA/IgG-Deamidated Gliadin Peptide) for coeliac disease in iron deficiency anaemia: diagnostic accuracy and a cost saving economic model’

Autor: Joshua E. Elias, Peter D. Mooney, Her Hsin Tsai, Simon S. Cross, William L White, JM Hebden, Sulleman Moreea, David S Sanders, Sami Hoque, Michelle S Lau, Victoria J. Appleby, Kiran Bundhoo, Gareth Corbett, Liam Wong, Ismail Haythem

Publikováno v: BMC Gastroenterology

BACKGROUND: International guidelines recommend coeliac serology in iron deficiency anaemia, and duodenal biopsy for those tested positive to detect coeliac disease. However, pre-endoscopy serology is often unavailable, thus committing endoscopists to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8198407742d8884a07d151bbaa9d1670
http://europepmc.org/articles/PMC5024457