@inproceedings{14e7c902d77f425887413def0092df4c,
title = "A common semantic basis for BDI languages",
abstract = "We describe the design of an intermediate language (AIL) for BDI-style programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.",
author = "Dennis, {Louise A.} and Berndt Farwer and Bordini, {Rafael H.} and Michael Fisher and Michael Wooldridge",
year = "2007",
month = may,
day = "15",
language = "English",
isbn = "978-3-540-79042-6",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
pages = "124--139",
editor = "M Dastani and AEF Seghrouchni and A Ricci and M Winikoff",
booktitle = "ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems",
address = "Germany",
note = "5th International Workshop on Programming Multi-Agent Systems ; Conference date: 15-05-2007",
}