Deontic equilibrium logic with explicit negation
type: Item
instance of: scholarly article
title: Deontic equilibrium logic with explicit negation
DOI: 10.1007/978-3-031-43619-2_34
author: Pedro Cabalar
author: Agata Ciabattoni
author: Leendert van der Torre
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7855141
MaRDI profile type: MaRDI publication profile
cites work: Revisiting Explicit Negation in Answer Set Programming
cites work: Equivalence of defeasible normative systems
cites work: A deontic logic reasoning infrastructure
cites work: Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
cites work: Autoepistemic answer set programming
cites work: Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
cites work: Q5020971
cites work: Q5096579
cites work: Q5175694
cites work: The Seventh Answer Set Programming Competition: Design and Results
cites work: Q3983043
cites work: Authorization and Obligation Policies in Dynamic Systems
cites work: An Embedding of Input-Output Logic in Deontic Logic Programs
cites work: Computing strong and weak permissions in defeasible logic
cites work: Possible World Semantics for Defeasible Deontic Logic
cites work: An Analysis of some Deontic Logics
cites work: Deontic logic as founded on nonmonotonic logic
cites work: The DLV system for knowledge representation and reasoning
cites work: Defeasible deontic logic
cites work: Q4420273
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Q5224917
cites work: A new logical characterisation of stable models and answer sets
cites work: Quantified Equilibrium Logic and Foundations for Answer Set Programs
cites work: Q4394901
cites work: A logic for default reasoning
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
description: scientific article; zbMATH DE number 7855141