Deontic equilibrium logic with explicit negation

DOI10.1007/978-3-031-43619-2_34MaRDI QIDQ6545559zbMATH OpenFDO

Authors Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_34

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Equilibrium logic
• Equivalence of defeasible normative systems
• Conditional deontic logic augmented with defeasible reasoning
• Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
• scientific article; zbMATH DE number 7659878

Cites work

• A deontic logic reasoning infrastructure
• A logic for default reasoning
• A new logical characterisation of stable models and answer sets
• An Analysis of some Deontic Logics
• An embedding of input-output logic in deontic logic programs
• Authorization and Obligation Policies in Dynamic Systems
• Autoepistemic answer set programming
• Computing strong and weak permissions in defeasible logic
• Defeasible deontic logic
• Deontic logic as founded on nonmonotonic logic
• Equivalence of defeasible normative systems
• Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
• Handbook of deontic logic and normative systems. Volume 2
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1163374 (Why is no real title available?)
• scientific article; zbMATH DE number 1964822 (Why is no real title available?)
• scientific article; zbMATH DE number 7455713 (Why is no real title available?)
• scientific article; zbMATH DE number 6407643 (Why is no real title available?)
• scientific article; zbMATH DE number 7085150 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Possible world semantics for defeasible deontic logic
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Revisiting explicit negation in answer set programming
• Ten problems of deontic logic and normative reasoning in computer science
• The DLV system for knowledge representation and reasoning
• The Seventh Answer Set Programming Competition: Design and Results

Cited in

(1)

• d-\( \mathcal{B} \): a language for well-founded deontic planning

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)