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

• Autore: Czelakowski, Janusz
• 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
• 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
• Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 42