Walid E. Gomaa

Learn More
The current paper details a restricted semantics for active logic, a time-sensitive, contradictiontolerant 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)
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)
One of the major missions of the health care enterprise in Egypt is the proper control of local endemic diseases, such as liver and breast cancers, through the development and maintenance of integrated quality programs in patient care, research, education, and prevention. This was particularly manifested by the establishment of the National Cancer Institute(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)
Protein structure prediction (PSP) is one of the most important and challenging problems in bioinformatics today. This is due to the fact that the biological function of the protein is determined by its structure. While there is a gap between the number of known protein sequences and the number of known structures, protein structure prediction aims at(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 paraconsistent logic that may be(More)