A verification framework for agent programming with declarative goals

FS de Boer, KV Hindriks, W van der Hoek, JJCh Meyer

Research output: Contribution to journal › Article › Scientific › peer-review

Keywords

@article{758376ee04cd4899af046ee9a7c98cf5,

title = "A verification framework for agent programming with declarative goals",

keywords = "Vakpubl., Overig wet. > 3 pag",

author = "{de Boer}, FS and KV Hindriks and {van der Hoek}, W and JJCh Meyer",

year = "2006",

language = "Undefined/Unknown",

pages = "1--26",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier",

}