Katalog GES

On Agents That Have the Ability to Choose

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal... Full description

1st Person: van der Hoek, Wiebe
Additional Persons: van Linder, Bernd; Meyer, John-Jules
Source: in Studia Logica: An International Journal for Symbolic Logic Vol. 66, No. 1 (2000), p. 79-119
More Articles
Type of Publication: Article
Language: English
Published: 2000
Keywords: internal and external non-determinism
dynamic modal logic
Online: Volltext
  Search for full text



Similar Items

Cannot find similar records

Library Services

Search Options

Quick links