FS de Boer | TU Delft Repository

Library

local_library Home Repository

Fd

FS de Boer

Book chapter (1)

Conference paper (1)

Journal article (2)

4 records found

1

Using rewrite strategies for testing BUpL agents

Journal article (2010) - L Astefanoaei (author) , FS de Boer (author) , M.B. van Riemsdijk (author)

Using the Maude term rewriting language for agent development with formal foundations.

Book chapter (2010) - M.B. van Riemsdijk (author) , L Astefanoaei (author) , FS de Boer (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 logical viewpoint on architectures

Conference paper (2004) - FS de Boer (author) , MM Bonsangue (author) , J Jacob (author) , A Stam (author) , L van der Torre (author)