Arman Masoumi

Learn More
We explore applicability of the situation calculus, the well-known logical framework developed in Artificial Intelligence for representation of dynamic systems, to the task of representing knowledge about processes, actions and events in the natural sciences. In this paper, we concentrate on a case study in the area of organic chemistry. More specifically,(More)
The design of chemical processes is a central problem in organic chemistry. A chemical process is a sequence of chemical reactions capable of producing a target compound from some starting stage molecules. The manual specification of such processes can be time-consuming and error-prone, due to the high number of reactions involved and their complex chemical(More)
We explore advantages that can be gained from using expressive logic languages for semantic modelling of chemical reactions. First, we present a novel approach for logical representation of notions in organic chemistry, as well as for reasoning about generic chemical reactions. Subsequently, using this new semantic modeling of reactions, we explore what(More)
  • 1