LAM'10: Keyword Index

KeywordPapers
a
Algebraic Modal LogicTowards a Logic for Reasoning About Learning in a Changing World
c
complexityComplexity of LTL Model-Checking for Safe Object Nets
Constructive Description LogicTowards a Simply Typed CALculus for Semantic Knowledge Bases
crow dynamicsReconciling Population and Agent Models for Crowd Dynamics
Curry-Howard isomorphismTowards a Simply Typed CALculus for Semantic Knowledge Bases
d
decidability questionsA Survey of Elementary Object Systems
Declarative networkingAn Operational Semantics for Network Datalog
dynamic epistemic logicTowards a Logic for Reasoning About Learning in a Changing World
i
Information LearningTowards a Logic for Reasoning About Learning in a Changing World
l
logic programmingAn Operational Semantics for Network Datalog
LTLComplexity of LTL Model-Checking for Safe Object Nets
m
Mobile AgentsComplexity of LTL Model-Checking for Safe Object Nets
MobilityA Survey of Elementary Object Systems
Modal Type TheoryTowards a Simply Typed CALculus for Semantic Knowledge Bases
modellingReconciling Population and Agent Models for Crowd Dynamics
n
nets-within-netsA Survey of Elementary Object Systems
o
object netsA Survey of Elementary Object Systems
Complexity of LTL Model-Checking for Safe Object Nets
operational semanticsAn Operational Semantics for Network Datalog
p
Petri netsA Survey of Elementary Object Systems
q
Quantale-ModuleTowards a Logic for Reasoning About Learning in a Changing World
r
robot navigationTowards a Logic for Reasoning About Learning in a Changing World
s
simply typed lambda calculusTowards a Simply Typed CALculus for Semantic Knowledge Bases
t
Type Safe LanguageQWeS2T for Type-Safe Web Programming
v
view maintenanceAn Operational Semantics for Network Datalog
w
web programmingQWeS2T for Type-Safe Web Programming