scientific article; zbMATH DE number 1139235
[The articles of this volume will not be indexed individually. The preceding workshop (1, 1991) has been reviewed (see Zbl 0864.00073); a collection containing additional papers from the 2nd workshop has been reviewed (see Zbl 0853.00028).] Contents: \textit{Nicholas Asher} and \textit{Daniel Bonevac}, Prima facie obligation (pp. 19-36); \textit{Mark A. Brown}, A logic of comparative obligation (pp. 37-55); \textit{José Carmo} and \textit{Andrew Jones}, Deontic database constraints and the characterisation of recovery (pp. 56-85); \textit{F. Cuppens}, Roles and deontic logic (pp. 86-106); \textit{F. Dignum, J.-J. Ch. Meyer} and \textit{R. J. Wieringa}, Contextual permission -- a solution to the free choice paradox (pp. 107-135); \textit{Olivier Gasquet} and \textit{Andreas Herzig}, Automated deduction for non-normal modal logics (pp. 136-144); \textit{Gert-Jan C. Lokhorst}, Extensional deontic logics of action and their implementation (pp. 145-164); \textit{Paul McNamara}, Doing well enough: toward a logic for common sense morality (pp. 165-197); \textit{Arthur Merin}, From civil procedure to deontic modality (pp. 198-220); \textit{Michael Morreau}, Prima facie and seeming duties (pp. 221-251); \textit{KayLiang Ong} and \textit{Ronald M. Lee}, Detecting deontic dilemmas in bureaucratic rules: a first-order implementation using abduction (pp. 252-280); \textit{Henry Prakken}, Two approaches to defeasible reasoning (pp. 281-295); \textit{Henry Prakken} and \textit{Marek Sergot}, Contrarty-to-duty imperatives, feasibility and violability (pp. 296-318); \textit{L. M. M. Royakkers}, Towards a deontic logic approach to legal rules (pp. 319-332).
- Deontic logic, agency and normative systems. Papers from the 3rd international workshop on deontic logic in computer science, EON '96, Sesimbra, Portugal, January 11--13, 1996
- scientific article; zbMATH DE number 1735827
- Selected papers of the 5th international workshop on deontic logic in computer science (DEON '00), Toulouse, France, Janury 20--22, 2000
- scientific article; zbMATH DE number 1299411
- Papers in deontic logic. Selected papers of the 2nd international workshop, Oslo, Norway, January 1994
- Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
- Deontic logic in computer science. Selected papers from the 1st international workshop, Amsterdam, the Netherlands, December 11--13, 1991
- Special issue: Selected and revised papers from the 9th international conference on deontic logic in computer science, DEON 2008, Luxembourg, July 15--18, 2008
- Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
- Special issue: Selected papers based on the presentations at the 8th international workshop on deontic logic in computer science, Utrecht, The Netherlands, July 12--14, 2006
- Moral dilemmas and nonmonotonic logic
- Obligation as optimal goal satisfaction
- From permissions to obligations and beyond: an editorial
- The logic of knowledge based obligation
- Ten problems of deontic logic and normative reasoning in computer science
- A purely combinatorial approach to deontic logic
- Sequences, Obligations, and the Contrary-to-Duty Paradox
- Deontic logic, agency and normative systems. Papers from the 3rd international workshop on deontic logic in computer science, EON '96, Sesimbra, Portugal, January 11--13, 1996
- scientific article; zbMATH DE number 1735827 (Why is no real title available?)
- Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18--21, 2016. Proceedings
- Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings
- Obligations and prohibitions in Talmudic deontic logic
- In defence of deontic diversity
- A modal action logic based framework for organization specification and analysis
- Deontic Logic in Computer Science
- Towards an intuitionistic deontic logic tolerating conflicting obligations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4383885)
