Agent strands in the action language \(n\mathcal C +\)
From MaRDI portal
Publication:931775
DOI10.1016/j.jal.2007.06.007zbMath1149.68419MaRDI QIDQ931775
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
formal specification; deontic logic; transition systems; action languages; norm-governed agent systems
68T27: Logic in artificial intelligence
Related Items
Uses Software
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