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 | ||
| ||
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 |
| Edizione | [Dordrecht : Springer, 2015] |
| Pubbl/distr/stampa | XV, 261 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| 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] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114037 |
|
Czelakowski, Janusz
|
||
| XV, 261 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | IX, 292 p. : ill. ; 24 cm |
| Soggetto topico |
08B10 - Congruence modularity, congruence distributivity [MSC 2020]
08-XX - General algebraic systems [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Commutator Commutator theory Equational logic Quasivarieties Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113687 |
|
Czelakowski, Janusz
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | IX, 292 p. : ill. ; 24 cm |
| Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08B10 - Congruence modularity, congruence distributivity [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Commutator Commutator theory Equational logic Quasivarieties Universal algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113687 |
|
Czelakowski, Janusz
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski
| The equationally-defined commutator : a study in equational logic and algebra / Janusz Czelakowski |
| Autore | Czelakowski, Janusz |
| Edizione | [[Cham] : Birkhäuser : Springer, 2015] |
| Pubbl/distr/stampa | IX, 292 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
08B10 - Congruence modularity, congruence distributivity [MSC 2020]
08-XX - General algebraic systems [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] 06C05 - Modular lattices, Desarguesian lattices [MSC 2020] 08A35 - Automorphisms, endomorphisms of algebraic structures [MSC 2020] 08B05 - Equational logic, Mal'tsev conditions [MSC 2020] 08C15 - Quasivarieties [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113687 |
|
Czelakowski, Janusz
|
||
| IX, 292 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||