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), M Wooldridge (author)

GOAL Agents Instantiate Intention Logic

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

On two perspectives in decomposing constraint systems

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

Concurrently Decomposable Constraint Systems

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

GOAL agents instatiate intention logic

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

A verification framework for agent programming with declarative goals

Journal article (2006) - FS de Boer (author), K.V. 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)

On modal logic interpretations of games

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

How to recover from (Non)monotomic inconsistencies

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

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

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

Boolean games

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

Classical and general frameworks for recovery

Conference paper (2000) - W van der Hoek (author), C. Witteveen (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), C. Witteveen (author)

Recovering from inconsistency: a general framework for theory recovery

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

Imprecise observations of mobile robots specified by a modal logic

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