Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski
| Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2015 |
| Descrizione fisica | XV, 261 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68T30 - Knowledge representation [MSC 2020] 68T27 - Logic in 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 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114037 |
Czelakowski, Janusz
|
||
| Dordrecht, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski
| Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2015 |
| 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 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114037 |
|
Czelakowski, Janusz
|
||
| Dordrecht, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||