Searching for authors named "Wieke de Vries" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Temporal Analysis of the Dynamics of Beliefs, Desires, and Intentions
- …, Jan Treur, Wieke de Vries 2 Department of Artificial Intelligence, Vrije Universiteit Amsterdam De…
- Cited by 1 (0 self) – Add To MetaCart
-
Reuse and Abstraction in Verification: Agents Acting in a Dynamic Environment
- … * Jan Treur * Wieke de Vries ‡ * Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De…
- Cited by 2 (1 self) – Add To MetaCart
-
Compositional Verification of Agents in Dynamic Environments: a Case Study
- …, Jan Treur, Wieke de Vries Vrije Universiteit Amsterdam Department of Mathematics and Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts
- … Catholijn M. Jonker, Jan Treur, Wieke de Vries 1 Department of Artificial Intelligence, Vrije Universiteit…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 4.
