A Logic for Reasoning about Digital Rights
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Challenges in the Specification of Full Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
A complete and compact propositional deontic logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Hi-index | 0.00 |