Walid E. Gomaa

Learn More
For some time we have been developing, and have had significant practical success with, a time-sensitive, contradiction-tolerant logical reasoning engine called the active logic machine (ALMA). The current paper details a semantics for a version of the underlying logical formalism, active logic. Central to active logic are special rules controlling the(More)
The current paper details a restricted semantics for active logic, a time-sensitive, contradiction-tolerant logical reasoning formalism. Central to active logic are special rules controlling the inheritance of beliefs in general, and beliefs about the current time in particular, very tight controls on what can be derived from direct contradictions (P &¬P),(More)
OBJECTIVE The objective of this paper is to highlight the state-of-the-art machine learning (ML) techniques in computational docking. The use of smart computational methods in the life cycle of drug design is relatively a recent development that has gained much popularity and interest over the last few years. Central to this methodology is the notion of(More)
Multi-Agent Systems is the branch of Artificial Intelligence that views intelligence and the emergence of intelligent behavior as the result of a complex structural arrangement of multiple independent autonomous interacting agents; in other words it is a social theory of intelligence. From a practical perspective, multi-agent systems aims at creating a(More)
Commonsense reasoning has proven exceedingly difficult both to model and to implement in artificial reasoning systems. This paper discusses some of the features of human reasoning that may account for this difficulty, surveys a number of reasoning systems and formalisms, and offers an outline of active logic, a non-classical para-consistent logic that may(More)
Computational docking is the core process of computer-aided drug design; it aims at predicting the best orientation and conformation of a small molecule (drug ligand) when bound to a target large receptor molecule (protein) in order to form a stable complex molecule. The docking quality is typically measured by a scoring function: a mathematical predictive(More)