HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

LAM'10. 3rd International Workshop on Logics, Agents, and Mobility

Editors: Berndt Müller
9 articles•112 pages•Published: May 15, 2012

Papers

Possession as Linear Knowledge
Frank Pfenning
Page 1
Modal Location-Resource-Process Logic for Access Control
David Pym
Page 2
Reconciling Population and Agent Models for Crowd Dynamics
Andrea Bracciali, Jane Hillston, Diego Latella and Mieke Massink
Pages 3-18
A Survey of Elementary Object Systems
Michael Köhler-Bußmeier
Pages 19-36
Complexity of LTL Model-Checking for Safe Object Nets
Michael Köhler-Bußmeier and Frank Heitmann
Pages 37-51
Towards a Simply Typed CALculus for Semantic Knowledge Bases
Michael Mendler and Stephan Scheele
Pages 52-67
An Operational Semantics for Network Datalog
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo and Andre Scedrov
Pages 68-81
Towards a Logic for Reasoning About Learning in a Changing World
Prakash Panangaden and Mehrnoosh Sadrzadeh
Pages 82-95
QWeS2T for Type-Safe Web Programming
Thierry Sans and Iliano Cervesato
Pages 96-112

Keyphrases

Copyright © 2012-2023 easychair.org. All rights reserved.