liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A Logical Framework for Modelling eMAS
Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA). Linköping University, The Institute of Technology.
Universidade Nova de Lisboa, Caparica, Portugal.
2002 (English)In: Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings / [ed] Veronica Dahl and Philip Wadler, Springer Berlin/Heidelberg, 2002, Vol. 2562, 241-255 p.Chapter in book (Refereed)
Abstract [en]

We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics. We show how a number of organizational structures can be represented in F and discuss their properties.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2002. Vol. 2562, 241-255 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 2562
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-48671DOI: 10.1007/3-540-36388-2_17ISBN: 3-540-00389-4ISBN: 978-3-5400-0389-2OAI: diva2:269567
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2013-12-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textfind book at a swedish library/hitta boken i ett svenskt bibliotekläs utdragfind book in another country/hitta boken i ett annat land

Search in DiVA

By author/editor
Dell'Acqua, Pierangelo
By organisation
Visual Information Technology and Applications (VITA)The Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 116 hits
ReferencesLink to record
Permanent link

Direct link