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. 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. 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) , 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)

Boolean games

Conference paper (2001) - P Harrenstein (author) , W van der Hoek (author) , JJ Meyer (author) , Cees 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) , B Krose (author) , H Spoelder (author) , S Stramigioli (author)

How to recover from (Non)monotomic inconsistencies

Book chapter (2001) - Cees 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)

Classical and general frameworks for recovery

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

Recovering from inconsistency: a general framework for theory recovery

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

Imprecise observations of mobile robots specified by a modal logic

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