Vai al contenuto principale della pagina

Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Czelakowski, Janusz Visualizza persona
Titolo: Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski Visualizza cluster
Pubblicazione: Dordrecht, : Springer, 2015
Titolo uniforme: Freedom and enforcement in action : a study in formal action theory  
Descrizione fisica: XV, 261 p. : ill. ; 24 cm
Soggetto topico: 68-XX - Computer science [MSC 2020]
68T27 - Logic in artificial intelligence [MSC 2020]
68T30 - Knowledge representation [MSC 2020]
68Txx - Artificial intelligence [MSC 2020]
Soggetto non controllato: Action and models for non-monotonic reasonings
Actions and their agents
Atomic norms
Compound actions
Compound actions and deontology
Deontic logic
Fixed-point theorems for relations
Games as action systems
Iterative algorithms
Knowledge models
Models of action theory
Norms and their semantics
Partially ordered sets
Performability and probability
Performability of actions
Programs and actions
Pushdown algorithms
The frame problem
Theory of algorithms and programming
Titolo autorizzato: Freedom and enforcement in action : a study in formal action theory  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00114037
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-94-017-9855-6
Opac: Controlla la disponibilità qui
Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 42