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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 2562
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-48671DOI: 10.1007/3-540-36388-2_17ISBN: 3-540-00389-4 (print)ISBN: 978-3-5400-0389-2 (print)OAI: oai:DiVA.org:liu-48671DiVA: 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

Authority records BETA

Dell'Acqua, Pierangelo

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 135 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf