Agent strands in the action language \(n\mathcal C +\)
type: Item
instance of: scholarly article
title: Agent strands in the action language \(n\mathcal C +\)
zbMATH Open document ID: 1149.68419
author: Robert Craven
author: Marek Sergot
published in: Journal of Applied Logic
publication date: 2008-06-26T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5293432
zbMATH Keywords: action languages
zbMATH Keywords: transition systems
zbMATH Keywords: deontic logic
zbMATH Keywords: norm-governed agent systems
zbMATH Keywords: formal specification
describes a project that uses: CCalc
MaRDI profile type: Publication
full work available at URL: j.jal.2007.06.007
OpenAlex ID: W1992519887
cites work: Nonmonotonic causal theories
cites work: Representing the Zoo World and the Traffic World in the language of the Causal Calculator
cites work: Q4413371
cites work: Q5701517
cites work: The Deontic Component of Action Language $n{\mathcal{C}}+$
cites work: Deontic interpreted systems
cites work: A formalisation of violation, error recovery, and enforcement in the bit transmission problem
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: Temporal Reasoning over Deontic Specifications
cites work: Deontic database constraints, violation and recovery
cites work: The dynamic logic of permission
DOI: 10.1016/J.JAL.2007.06.007
description: scientific article; zbMATH DE number 5293432