Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...
Kavallur Gopi Smitha, H. A. H. Fahmy, A. Prasad Vi...
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
Ivana Rasovska, Brigitte Chebel-Morello, Noureddin...