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 |