A verification framework for agent programming with declarative goals
Journal Article
(2006)
Author(s)
FS de Boer (External organisation)
K. Hindriks (TU Delft - Old - EWI Sect. Man-Machine Interaction)
W van der Hoek (External organisation)
J.-J. Ch. Meyer (External organisation)
Research Group
Old - EWI Sect. Man-Machine Interaction
To reference this document use:
https://resolver.tudelft.nl/uuid:758376ee-04cd-4899-af04-6ee9a7c98cf5
More Info
expand_more
expand_more
Publication Year
2006
Research Group
Old - EWI Sect. Man-Machine Interaction
Pages (from-to)
1-26
No files available
Metadata only record. There are no files for this record.