4211 search results - page 264 / 843 » A formal approach to MASQ |
160
click to vote
AIED
2005
Springer
16 years 7 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
207
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
193
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
183
click to vote
QSIC
2007
IEEE
16 years 29 days ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
193
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...