Deontic equilibrium logic with explicit negation
From MaRDI portal
Publication:6545559
DOI10.1007/978-3-031-43619-2_34MaRDI QIDQ6545559FDOQ6545559
Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
Publication date: 29 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The DLV system for knowledge representation and reasoning
- Logic Programming and Nonmonotonic Reasoning
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Autoepistemic answer set programming
- Revisiting Explicit Negation in Answer Set Programming
- A logic for default reasoning
- Defeasible deontic logic
- An Analysis of some Deontic Logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- An Embedding of Input-Output Logic in Deontic Logic Programs
- Authorization and Obligation Policies in Dynamic Systems
- Deontic logic as founded on nonmonotonic logic
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
- A deontic logic reasoning infrastructure
- Computing strong and weak permissions in defeasible logic
- The Seventh Answer Set Programming Competition: Design and Results
- Possible World Semantics for Defeasible Deontic Logic
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
- Equivalence of defeasible normative systems
- A new logical characterisation of stable models and answer sets
This page was built for publication: Deontic equilibrium logic with explicit negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545559)
