Abstract is missing.
- Possession as Linear KnowledgeFrank Pfenning. 1 [doi]
- Modal Location-Resource-Process Logic for Access ControlDavid J. Pym. 2 [doi]
- Reconciling Population and Agent Models for Crowd DynamicsAndrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink. 3-18 [doi]
- A Survey of Elementary Object SystemsMichael Köhler-Bußmeier. 19-36 [doi]
- Complexity of LTL Model-Checking for Safe Object NetsMichael Köhler-Bußmeier, Frank Heitmann. 37-51 [doi]
- Towards a Simply Typed CALculus for Semantic Knowledge BasesMichael Mendler, Stephan Scheele. 52-67 [doi]
- An Operational Semantics for Network DatalogVivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov. 68-81 [doi]
- Towards a Logic for Reasoning About Learning in a Changing WorldPrakash Panangaden, Mehrnoosh Sadrzadeh. 82-95 [doi]
- QWeS2T for Type-Safe Web ProgrammingThierry Sans, Iliano Cervesato. 96-112 [doi]