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 |