Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Deontic logic with defeasible detachment
Deontic logic with defeasible detachment
Formal aspects of electronic commerce: research issues and challenges
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An update semantics for defeasible obligations
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
Violation Contexts and Deontic Independence
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Prohairetic Deontic Logic (PDL)
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Review of "Agency and deontic logic by John Horty" Oxford university press 2001
Artificial Intelligence and Law
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
A Temporal Logic of Robustness
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Reactive Kripke Models and Contrary to Duty Obligations
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Axioms for obligation and robustness with temporal logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Cumulativity, Identity and Time in Deontic Logic
Fundamenta Informaticae - Deontic Logic in Computer Science
CATS '11 Proceedings of the Seventeenth Computing: The Australasian Theory Symposium - Volume 119
CATS 2011 Proceedings of the Seventeenth Computing on The Australasian Theory Symposium - Volume 119
| Hi-index | 0.00 |
Deontic logic, the logic of obligations and permissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation language. In this paper we extend the temporal analysis of Chisholm's paradox using a deontic logic that combines temporal and preferential notions.