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