LAM@LICS

Keyphrases

Publications

volume 7, 2012

3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010 LAM@LICS 7 (2012)

2010

Thierry Sans, Iliano Cervesato
QWeS2T for Type-Safe Web Programming. LAM@LICS (2010)
Frank Pfenning
Possession as Linear Knowledge. LAM@LICS (2010)
Michael Köhler-Bußmeier
A Survey of Elementary Object Systems. LAM@LICS (2010)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity of LTL Model-Checking for Safe Object Nets. LAM@LICS (2010)
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
An Operational Semantics for Network Datalog. LAM@LICS (2010)
Michael Mendler, Stephan Scheele
Towards a Simply Typed CALculus for Semantic Knowledge Bases. LAM@LICS (2010)
David J. Pym
Modal Location-Resource-Process Logic for Access Control. LAM@LICS (2010)
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS (2010)
Prakash Panangaden, Mehrnoosh Sadrzadeh
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS (2010)