![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
1st LCMAS 2003: Eindhoven, The Netherlands
- Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 - Wiebe van der Hoek, Alessio Lomuscio
, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. 81 - Pierre-Yves Schobbens
:
Alternating-time logic with imperfect recall. 82-93 - Marco Alberti
, Marco Gavanelli
, Evelina Lamma, Paola Mello, Paolo Torroni
:
Specification and Verification of Agent Interaction using Social Integrity Constraints. 94-116 - Wiebe van der Hoek, Alessio Lomuscio
:
A Logic For Ignorance. 117-133 - Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
Dialogue Games for Inconsistent and Biased Information. 134-151 - Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Knowledge as Strategic Ability. 152-175 - Franco Raimondi
, Alessio Lomuscio
:
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. 176-191 - Mario Verdicchio, Marco Colombetti:
A Logical Model for Agent Communication Languages. 192-207
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.