<div class="csl-bib-body">
<div class="csl-entry">Cabalar, P., Ciabattoni, A., & van der Torre, L. (2023). Deontic Equilibrium Logic with eXplicit Negation. In S. A. Gaggl, M. V. Martinez, & M. Ortiz (Eds.), <i>Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings</i> (pp. 498–514). Springer. https://doi.org/10.1007/978-3-031-43619-2_34</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/190260
-
dc.description.abstract
Equilibrium logic is a logical characterization of Answer Set Programming (ASP). We introduce Deontic Equilibrium Logic with eXplicit negation (DELX), its extension for normative reasoning. In contrast to modal approaches, DELX utilizes a normal form that restricts deontic operators solely to atoms. We establish that any theories in DELX can be reduced to ASP, and demonstrate the efficacy of this minimalist approach in addressing key challenges from the defeasible deontic logic literature.
en
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Deontic Logic
en
dc.subject
Answer Set Programming
en
dc.subject
SDL
en
dc.title
Deontic Equilibrium Logic with eXplicit Negation
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Universidade da Coruña, Spain
-
dc.contributor.affiliation
University of Luxembourg, Luxembourg
-
dc.relation.isbn
978-3-031-43619-2
-
dc.description.startpage
498
-
dc.description.endpage
514
-
dc.relation.grantno
ICT22-023
-
dcterms.dateSubmitted
2023
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
-
tuw.container.volume
14281
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.project.title
Training and Guiding AI Agents with Ethical Rules
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-031-43619-2_34
-
dc.description.numberOfPages
17
-
tuw.event.name
18th European Conference, JELIA 2023
en
tuw.event.startdate
20-09-2023
-
tuw.event.enddate
22-09-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Dresden
-
tuw.event.country
DE
-
tuw.event.presenter
Cabalar, Pedro
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.grantfulltext
restricted
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
