478 search results - page 37 / 96 » Formal Modelling of Cognitive Interpretation |
135
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
103
click to vote
DKE
1999
15 years 1 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
128
click to vote
IJSE
2010
14 years 11 months ago
2010
Affective computing has proven to be a viable field of research comprised of a large number of multidisciplinary researchers resulting in work that is widely published. The majori...
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
135
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...