Agent strands in the action language \(n\mathcal C +\)

DOI10.1016/j.jal.2007.06.007zbMath1149.68419OpenAlexW1992519887MaRDI QIDQ931775

Marek Sergot, Robert Craven

Publication date: 26 June 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2007.06.007

zbMATH Keywords

formal specificationdeontic logictransition systemsaction languagesnorm-governed agent systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Connecting actions and states in deontic logic ⋮ From oughts to goals: a logic for Enkrasia ⋮ Making Golog Norm Compliant

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• A formalisation of violation, error recovery, and enforcement in the bit transmission problem
• Nonmonotonic causal theories
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Deontic interpreted systems
• Deontic database constraints, violation and recovery
• Temporal Reasoning over Deontic Specifications
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• The dynamic logic of permission

This page was built for publication: Agent strands in the action language \(n\mathcal C +\)