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