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

DOI10.1007/978-3-642-40624-9_14MaRDI QIDQ2851972zbMATH OpenOpenAlexDBLPWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

Describes a project that uses

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)