Sciweavers

2314 search results - page 167 / 463
» What is a Model
Sort
View
116
Voted
CONTEXT
2007
Springer
15 years 10 months ago
Context and Design Agents
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
John S. Gero, Gregory J. Smith
ICCS
2007
Springer
15 years 10 months ago
Dynamic Epistemic Logic and Knowledge Puzzles
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
117
Voted
AUSAI
2005
Springer
15 years 9 months ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings
SWAT
2004
Springer
108views Algorithms» more  SWAT 2004»
15 years 9 months ago
Pointed Binary Encompassing Trees
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
Michael Hoffmann, Bettina Speckmann, Csaba D. T&oa...
ALS
2003
Springer
15 years 9 months ago
Whose Anticipations?
The central question in this paper is: Who (or what) constructs anticipations? I challenge the (tacit) assumption of Rosen’s standard definition of anticipatory systems according...
Alexander Riegler