LAM'10: Keyword Index

Keyword	Papers
a
Algebraic Modal Logic	Towards a Logic for Reasoning About Learning in a Changing World
c
complexity	Complexity of LTL Model-Checking for Safe Object Nets
Constructive Description Logic	Towards a Simply Typed CALculus for Semantic Knowledge Bases
crow dynamics	Reconciling Population and Agent Models for Crowd Dynamics
Curry-Howard isomorphism	Towards a Simply Typed CALculus for Semantic Knowledge Bases
d
decidability questions	A Survey of Elementary Object Systems
Declarative networking	An Operational Semantics for Network Datalog
dynamic epistemic logic	Towards a Logic for Reasoning About Learning in a Changing World
i
Information Learning	Towards a Logic for Reasoning About Learning in a Changing World
l
logic programming	An Operational Semantics for Network Datalog
LTL	Complexity of LTL Model-Checking for Safe Object Nets
m
Mobile Agents	Complexity of LTL Model-Checking for Safe Object Nets
Mobility	A Survey of Elementary Object Systems
Modal Type Theory	Towards a Simply Typed CALculus for Semantic Knowledge Bases
modelling	Reconciling Population and Agent Models for Crowd Dynamics
n
nets-within-nets	A Survey of Elementary Object Systems
o
object nets	A Survey of Elementary Object Systems Complexity of LTL Model-Checking for Safe Object Nets
operational semantics	An Operational Semantics for Network Datalog
p
Petri nets	A Survey of Elementary Object Systems
q
Quantale-Module	Towards a Logic for Reasoning About Learning in a Changing World
r
robot navigation	Towards a Logic for Reasoning About Learning in a Changing World
s
simply typed lambda calculus	Towards a Simply Typed CALculus for Semantic Knowledge Bases
t
Type Safe Language	QWeS2T for Type-Safe Web Programming
v
view maintenance	An Operational Semantics for Network Datalog
w
web programming	QWeS2T for Type-Safe Web Programming