-
Combining Epistemic Logic and Hennessy-Milner Logic
International audience -
Specifying Imperative ML-Like Programs Using Dynamic Logic
International audience -
A computationally grounded dynamic logic of agency, with application to legal...
International audience -
PDL As A Multi-Agent Strategy Logic
International audience -
Finding Alternatives Web Services to Parry Breakdowns
The increasing number of Web services and thus of possible combinations is particularly hard to accord with the dynamic and versatile feature of the Web. Indeed, in... -
Web Services Subsumption with a Specific PDL
In this paper, we elaborate a notion of semanticWeb subsumption for processes, i.e. composed Web services. It can be used for the task of cleaning OWL-S processes...
