scientific article; zbMATH DE number 1318509
From MaRDI portal
Publication:4256642
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)
Recommendations
Cited in
(35)- Deontic logic in computer science. Selected papers from the 1st international workshop, Amsterdam, the Netherlands, December 11--13, 1991
- Connecting actions and states in deontic logic
- Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26--28, 2004. Proceedings.
- From permissions to obligations and beyond: an editorial
- The logic of knowledge based obligation
- Obligation, contracts, and negotiation: Outlining an approach
- On obligations and normative ability: Towards a logical analysis of the social contract
- A deontic logic of actions and states
- Ten problems of deontic logic and normative reasoning in computer science
- Deontic logic and changing preferences
- scientific article; zbMATH DE number 588315 (Why is no real title available?)
- scientific article; zbMATH DE number 1735827 (Why is no real title available?)
- scientific article; zbMATH DE number 1735830 (Why is no real title available?)
- scientific article; zbMATH DE number 1139235 (Why is no real title available?)
- scientific article; zbMATH DE number 1182729 (Why is no real title available?)
- scientific article; zbMATH DE number 1738697 (Why is no real title available?)
- scientific article; zbMATH DE number 1749148 (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
- scientific article; zbMATH DE number 1405875 (Why is no real title available?)
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Dischargeable obligations in abductive logic programming
- Handbook of deontic logic and normative systems. Volume 2
- Special issue `Deontic modalities in natural language' -- selected and revised papers from the 12th international conference on deontic logic and normative systems (DEON 2014)
- A modal action logic based framework for organization specification and analysis
- Agency and deontic logic
- Praise, blame, obligation, and DWE: toward a framework for classical supererogation and kin
- A computational theory of normative positions
- Reason-based deontic logic
- Deontic Logic in Computer Science
- A logical analysis of the relationship between commitment and obligation
- Expressivity results for deontic logics of collective agency
- Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen
- Norms and deontic logic
- Reasoning with rules and rights: term-modal deontic logic
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 Q4256642)