- Action Description Language 1
- Answer Set Programming 3
- Bisimulation Contractions 1
- Bounded Bisimulations 1
- Collaborative Processes 1
- Conformance Checking 1
- Data Petri Nets 1
- Deception 1
- Decidability 1
- Dynamic Epistemic Logic 6
- Epistemic Planner 4
- Epistemic Planning 7
- Kripke Models 1
- Local Alignments 1
- Modal Logic 1
- Possibilities 8
- Trust 1