Home
Call for papers
Key dates
Invited speakers
Organisers
Accepted papers
Program
Registration
Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
25 August 2017, Stockholm (affiliated with CSL 2017)
Accepted papers
Stephane Le Roux and Arno Pauly. Extending Finite Memory Determinacy to Multiplayer Games (Extended Abstract)
Edvin Lundberg and Dilian Gurov. A Subset Construction for Epistemic Reasoning over Multi-Agent Games
Wojtek Jamroga, Vadim Malvone and Aniello Murano. Natural Strategic Ability
Natasha Alechina, Mehdi Dastani and Brian Logan. Uniform Strategies under Bounded Resources
Sonja Smets and Fernando R. Velázquez-Quesada. A logical study of agents' distances in social network creations.
Claes Strannegård. Interacting Agents in Artificial Ecosystems
Rustam Galimullin. Epistemic Quantification and Quantified Announcements
Valentin Goranko, Antti Kuusisto and Raine Rönnholm. Coordination without communication
Truls Pedersen and Marija Slavkovik. Formal Models of Social Influence and Conflict
Dominik Klein and Rasmus K. Rendsvig. Dynamical Multi-Agent Systems in Dynamic Epistemic Logic
Almut Demel and Michael Kirsten. Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
Ren-June Wang. Multi-agent timed Modal Epistemic Logic with Common Knowledge
This file is maintained by Natasha Alechina
Last updated 24 June 2017