Library
search
local_library
Repository
Fd
FS de Boer
View Pure Profile
Authored
4 records found
A logical viewpoint on architectures
Conference paper -
FS de Boer
,
MM Bonsangue
,
J Jacob
,
A Stam
,
LWN van der Torre
Using rewrite strategies for testing BUpL agents
Journal article -
L Astefanoaei
,
FS de Boer
,
M.B. van Riemsdijk
Using the Maude term rewriting language for agent development with formal foundations.
Book chapter -
M.B. van Riemsdijk
,
L Astefanoaei
,
FS de Boer
A verification framework for agent programming with declarative goals
Journal article -
FS de Boer
,
K.V. Hindriks
,
W van der Hoek
,
JJCh Meyer