Sciweavers

478 search results - page 4 / 96
» Formal Modelling of Cognitive Interpretation
Sort
View
FLAIRS
2006
13 years 8 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
KI
2009
Springer
13 years 12 months ago
A Formal Cognitive Model of Mathematical Metaphors
Markus Guhe, Alan Smaill, Alison Pease
WAPCV
2007
Springer
14 years 1 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
ODR
2008
13 years 8 months ago
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...