Arman Masoumi

Learn More
“Always being connected” is a popular trend in today's life style due to the advantages and flexibilities it offers. Our intuition is that the complexity of Learning, Feedback, Context Modeling, Context Inference and Self-Adaptation should be abstracted from the developers' working domain. This paper introduces a novel Internet of Things(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