Volume 104, Issue 4

August 2016

Special Issue: Logical Aspects of Multi-Agent Systems

Issue Editors:

8 articles in this issue

Special Issue on Logical Aspects of Multi-Agent Systems
Nils Bulling
Wiebe van der Hoek
BriefCommunication Open access 22 February 2016 Pages: 593 - 595
The Undecidability of Quantified Announcements
T. Ågotnes
H. van Ditmarsch
T. French
OriginalPaper 24 February 2016 Pages: 597 - 640
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
Bożena Woźna-Szcześniak
Andrzej Zbrzezny
OriginalPaper Open access 29 October 2015 Pages: 641 - 678
A Computationally Grounded, Weighted Doxastic Logic
Taolue Chen
Giuseppe Primiero
Neha Rungta
OriginalPaper 08 July 2015 Pages: 679 - 703
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
Giuseppe De Giacomo
Yves Lespérance
Stavros Vassos
OriginalPaper Open access 05 September 2015 Pages: 705 - 739
A Logical Theory of Localization
Vaishak Belle
Hector J. Levesque
OriginalPaper 22 August 2015 Pages: 741 - 772
A STIT Logic for Reasoning About Social Influence
Emiliano Lorini
Giovanni Sartor
OriginalPaper 28 October 2015 Pages: 773 - 812
Hard and Soft Preparation Sets in Boolean Games
Paul Harrenstein
Paolo Turrini
Michael Wooldridge
OriginalPaper 23 September 2015 Pages: 813 - 847

Search