Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
Fd
FS de Boer
Academic Work (4)
Book chapter (1)
Conference paper (1)
Journal article (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
4 records found
1
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)
Using rewrite strategies for testing BUpL agents
Journal article (2010) -
L Astefanoaei (author)
,
FS de Boer (author)
,
M.B. van Riemsdijk (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 logical viewpoint on architectures
Conference paper (2004) -
FS de Boer (author)
,
MM Bonsangue (author)
,
J Jacob (author)
,
A Stam (author)
,
LWN van der Torre (author)
