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 verfasserin; Meyer, John-Jules verfasserin
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: research-article
internal and external non-determinism
dynamic modal logic
Online: Volltext
  Search for full text

Online

Volltext

Similar Items

Cannot find similar records

Library Services

Search Options

Quick links

Orientation