The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led...
Dynamic Epistemic Logic (DEL) provides a framework for epistemic plannin...
We study monitoring of linear-time arithmetic properties against finite
...
Logs of real-life processes often feature uncertainty pertaining the rec...
The analysis of complex dynamic systems is a core research topic in form...
Data-aware processes represent and integrate structural and behavioural
...
Combined modeling and verification of dynamic systems and the data they
...
Many AI applications involve the interaction of multiple autonomous agen...
Conformance checking is a key process mining task for comparing the expe...
In this paper we study the verification of parameterised multi-agent sys...
Manufacturing is transitioning from a mass production model to a
manufac...
The last decade has witnessed an increasing transformation in the design...
Making a computational agent 'social' has implications for how it percei...
Description logic Knowledge and Action Bases (KAB) are a mechanism for
p...