Actors, actions, and initiative in normative system specification
type: Item
instance of: scholarly article
title: Actors, actions, and initiative in normative system specification
zbMATH Open document ID: 0976.03514
DOI: 10.1007/BF01556356
author: R. Wieringa
author: John-Jules Meyer
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1005814
MaRDI profile type: Publication
cites work: Q3898475
cites work: Q4343991
cites work: Process Algebra
cites work: Process algebra for synchronous communication
cites work: Algebra of communicating processes with abstraction
cites work: Q3742698
cites work: Q3993542
cites work: Q3221381
cites work: Temporal Reasoning over Deontic Specifications
cites work: Q5635426
cites work: Q4874391
cites work: Q3962973
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Q3777424
cites work: Q3026978
cites work: Q4047520
cites work: Q4385540
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: Step semantics for ``true'' concurrency with recursion
cites work: A calculus of communicating systems
cites work: Equality and Domain Closure in First-Order Databases
cites work: The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
cites work: Q5560264
description: scientific article; zbMATH DE number 1005814