This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
The neurons in the mammalian visual cortex are arranged in columnar structures, and the synaptic contacts of the pyramidal neurons in layer II/III are clustered into patches that ...
Christopher Johansson, Martin Rehn, Anders Lansner
In this paper, we present the design, implementation and evaluation of HIGAS, a hybrid intelligent system that deals with diagnosis and treatment consultation of acid-base disturba...
Constantinos Koutsojannis, Ioannis Hatzilygeroudis