LAM'10: Volume Information

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

Papers

Keyphrases

Algebraic Modal Logic, complexity, Constructive Description Logic, crow dynamics, Curry-Howard isomorphism, decidability questions, Declarative networking, dynamic epistemic logic, Information Learning, logic programming, LTL, Mobile Agents, Mobility, Modal Type Theory, modelling, nets-within-nets, object nets², operational semantics, Petri nets, Quantale-Module, robot navigation, simply typed lambda calculus, Type Safe Language, view maintenance, web programming.