An Agent Program Logic with Declarative Goals

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proc. FAMAS06 ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems
Editors	B. Dunin- Keplicz, R. Verbrugge
Pages	1-15
Number of pages	15
Publication status	Published - 2006

ECCAI

Cite this

@inproceedings{28243b02443e44128333303273423755,

title = "An Agent Program Logic with Declarative Goals",

author = "K.V. Hindriks and J-J.Ch. Meyer",

note = "ECCAI",

year = "2006",

language = "Undefined/Unknown",

pages = "1--15",

editor = "{Dunin- Keplicz}, B. and R. Verbrugge",

booktitle = "Proc. FAMAS06 ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems",

}