Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
In this paper, we address issues related to sharing information in a distributed system consisting of autonomous entities, each of which holds a private database. Semi-honest beha...
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...