Readiness Semantics for Regular Processes with Silent Actions.

Susanne Graf Joseph Sifakis

Published in: ICALP (1987)

Keyphrases

atomic actions
action theories
action language
action descriptions
situation calculus
dynamic aspects
speech acts
formal semantics
information systems
nonmonotonic logics
action selection
reasoning about actions
plan recognition
decision theoretic
default logic
human activities
logic programming