Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...
A flow reactor for material processing monitored and controlled by a tri-stimulus chromaticity sensor is described by a generalized net. The GN model incorporates knowledge-based ...
Krassimir T. Atanassov, Boyan E. Djakov, J. A. Ale...
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...
— The present paper describes a decision method for the placement of tactile elements for manipulation task recognition. Based on the mutual information of the manipulation tasks...