563 search results - page 31 / 113 » A Typing Scheme for Behavioural Models |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
JAPLL
2010
13 years 7 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
APAL
2008
13 years 8 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...