Logic Programming based approaches for teh verification and
monitoring of Interaction Protocols; Business Process Modelling and
Monitoring, e-Health and Knowledge Representation and Reasoning.
Logic Programming based approaches for teh verification and
monitoring of Interaction Protocols; Business Process Modelling and
Monitoring, e-Health and Knowledge Representation and Reasoning.
