W van der Hoek | TU Delft Repository

Wv

W van der Hoek

Book chapter (2)

Conference paper (9)

Journal article (4)

15 records found

1

Program equilibrium¿a program reasoning approach

Journal article (2013) - W van der Hoek (author), C Witteveen (author), Cees Witteveen (author), C. Witteveen (author), M Wooldridge (author)

GOAL Agents Instantiate Intention Logic

Book chapter (2012) - K. Hindriks (author), KV Hindriks (author), K.V. Hindriks (author), Koen V. Hindriks (author), Koen Hindriks (author), W van der Hoek (author), J-J Meyer (author)

On two perspectives in decomposing constraint systems

Conference paper (2010) - C Witteveen (author), Cees Witteveen (author), C. Witteveen (author), W van der Hoek (author), M Wooldridge (author)

Concurrently Decomposable Constraint Systems

Conference paper (2009) - C Witteveen (author), Cees Witteveen (author), C. Witteveen (author), W van der Hoek (author), N Roos (author), N Roos (author)

GOAL agents instatiate intention logic

Conference paper (2008) - K. Hindriks (author), Koen Hindriks (author), K.V. Hindriks (author), Koen V. Hindriks (author), KV Hindriks (author), W van der Hoek (author)

A verification framework for agent programming with declarative goals

Journal article (2006) - FS de Boer (author), Koen Hindriks (author), Koen V. Hindriks (author), K.V. Hindriks (author), K. Hindriks (author), KV Hindriks (author), W van der Hoek (author), JJCh Meyer (author)

A modal characterization of Nash equilibrium

Journal article (2003) - P Harrenstein (author), J-J Meyer (author), W van der Hoek (author), C. Witteveen (author), Cees Witteveen (author), C Witteveen (author)

On modal logic interpretations of games

Conference paper (2002) - P Harrenstein (author), W van der Hoek (author), J-J Meyer (author), C. Witteveen (author), Cees Witteveen (author), C Witteveen (author)

RoboCup European Championship: Report of the Amsterdam, 2000 event.

Journal article (2001) - FC Groen (author), W van der Hoek (author), PP Jonker (author), P.P. Jonker (author), Pieter Jonker (author), P. Jonker (author), Pieter P. Jonker (author), B Krose (author), H Spoelder (author), S Stramigioli (author), S Stramigioli (author)

Boolean games

Conference paper (2001) - P Harrenstein (author), W van der Hoek (author), JJ Meyer (author), Cees Witteveen (author), C Witteveen (author), C. Witteveen (author)

How to recover from (Non)monotomic inconsistencies

Book chapter (2001) - Cees Witteveen (author), C Witteveen (author), C. Witteveen (author), W van der Hoek (author)

A model interpretation of nash-equilibria and some related concepts

Conference paper (2000) - P Harrenstein (author), W van der Hoek (author), JJ Meyer (author), Cees Witteveen (author), C Witteveen (author), C. Witteveen (author)

Classical and general frameworks for recovery

Conference paper (2000) - W van der Hoek (author), Cees Witteveen (author), C Witteveen (author), C. Witteveen (author)

Imprecise observations of mobile robots specified by a modal logic

Conference paper (1999) - MM De Weerdt (author), Mathijs De Weerdt (author), Mathijs M. de Weerdt (author), M.M. De Weerdt (author), Mathijs M. Weerdt (author), M.M. Weerdt (author), Mathijs M. de De Weerdt (author), Mathijs Weerdt (author), M.M. de Weerdt (author), Mathijs M. de Weerdt (author), Mathijs M. de de Weerdt (author), Mathijs de Weerdt (author), Mathijs M. De Weerdt (author), MM de Weerdt (author), MM Weerdt (author), F de Boer (author), W van der Hoek (author), JJ Meyer (author)

Recovering from inconsistency: a general framework for theory recovery

Conference paper (1999) - Cees Witteveen (author), C Witteveen (author), C. Witteveen (author), W van der Hoek (author)