Time is up! -- Norms with deadlines in action languages

DOI10.1007/978-3-642-40624-9_14zbMATH Open1401.68308DBLPconf/clima/KnorrGGLS13OpenAlexW98563955WikidataQ62046440 ScholiaQ62046440MaRDI QIDQ2851972FDOQ2851972

Authors: Matthias Knorr, Alfredo Gabaldon, João Leite, Martin Slota, Ricardo Gonçalves 

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40624-9_14

Recommendations

• Obligations with deadlines: a formalization in dynamic deontic logic
• Agent strands in the action language \(n\mathcal C +\)
• Making Golog norm compliant
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• \(\mathit{Deon}^{ + }\): abduction and constraints for normative reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (3)

• Agent strands in the action language \(n\mathcal C +\)
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• Making Golog norm compliant

Uses Software

• Coala

This page was built for publication: Time is up! -- Norms with deadlines in action languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851972)