An Agent Program Logic with Declarative Goals

K.V. Hindriks, J-J.Ch. Meyer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProc. FAMAS06 ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems
EditorsB. Dunin- Keplicz, R. Verbrugge
Pages1-15
Number of pages15
Publication statusPublished - 2006

Cite this