Approcci basati su Logic Programming per la verifica e il
monitoring di protocolli di interazione tra peer; Business Process
Modelling and Monitoring, e-Health and Knowledge Representation and
Reasoning.
Approcci basati su Logic Programming per la verifica e il
monitoring di protocolli di interazione tra peer; Business Process
Modelling and Monitoring, e-Health and Knowledge Representation and
Reasoning.