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.
An introduction to description logic / Franz Baader ... [et al.]
| An introduction to description logic / Franz Baader ... [et al.] |
| Pubbl/distr/stampa | New York, : Cambridge university, 2017 |
| Descrizione fisica | vii, 255 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T30 - Knowledge representation [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] |
| ISBN | 978-05-216-9542-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250649 |
| New York, : Cambridge university, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to description logic / Franz Baader ... [et al.]
| An introduction to description logic / Franz Baader ... [et al.] |
| Pubbl/distr/stampa | New York, : Cambridge university, 2017 |
| Descrizione fisica | vii, 255 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68T27 - Logic in artificial intelligence [MSC 2020] 68T30 - Knowledge representation [MSC 2020] |
| ISBN | 978-05-216-9542-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250649 |
| New York, : Cambridge university, 2017 | ||
| 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]
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 | ||
| ||
Fuzzy Logic and Intelligent Systems / edited by Hua Harry Li and Madan M. Gupta
| Fuzzy Logic and Intelligent Systems / edited by Hua Harry Li and Madan M. Gupta |
| Pubbl/distr/stampa | Boston [etc.], : Kluwer, 1995 |
| Descrizione fisica | xiv, 445 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68T05 - Learning and adaptive systems in artificial intelligence [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] 68Txx - Artificial intelligence [MSC 2020] 68Uxx - Computing methodologies and applications [MSC 2020] |
| Soggetto non controllato |
Analysis
Evolution Fuzzy Fuzzy Logic Fuzzy control Fuzzy systems Intelligent Systems Linear optimization Neural networks Programming Robot Sensing Uncertainty |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00294339 |
| Boston [etc.], : Kluwer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Intelligent Control and Smart Energy Management : Renewable Resources and Transportation / Maude Josée Blondin ... [et al.] editors
| Intelligent Control and Smart Energy Management : Renewable Resources and Transportation / Maude Josée Blondin ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 427 p. : ill. ; 24 cm |
| Soggetto topico |
34Hxx - Control problems including ordinary differential equations [MSC 2020]
68T01 - General topics in artificial intelligence [MSC 2020] 68T05 - Learning and adaptive systems in artificial intelligence [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] 74G65 - Energy minimization in equilibrium problems in solid mechanics [MSC 2020] 74Pxx - Optimization problems in solid mechanics [MSC 2020] 90B06 - Transportation, logistics and supply chain management [MSC 2020] 90B50 - Management decision making, including multiple objectives [MSC 2020] 93C05 - Linear systems in control theory [MSC 2020] 93C10 - Nonlinear systems in control theory [MSC 2020] 93C35 - Multivariable systems, multidimensional control systems [MSC 2020] 93C73 - Perturbations in control/observation systems [MSC 2020] 93C95 - Application models in control theory [MSC 2020] |
| Soggetto non controllato |
Control
Intelligent energy planning Intelligent vehicles Multiagent control Optimization Smart energy storage and load management Smart grids technologies |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277666 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Intelligent Control and Smart Energy Management : Renewable Resources and Transportation / Maude Josée Blondin ... [et al.] editors
| Intelligent Control and Smart Energy Management : Renewable Resources and Transportation / Maude Josée Blondin ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 427 p. : ill. ; 24 cm |
| Soggetto topico |
34Hxx - Control problems including ordinary differential equations [MSC 2020]
68T01 - General topics in artificial intelligence [MSC 2020] 68T05 - Learning and adaptive systems in artificial intelligence [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] 74G65 - Energy minimization in equilibrium problems in solid mechanics [MSC 2020] 74Pxx - Optimization problems in solid mechanics [MSC 2020] 90B06 - Transportation, logistics and supply chain management [MSC 2020] 90B50 - Management decision making, including multiple objectives [MSC 2020] 93C05 - Linear systems in control theory [MSC 2020] 93C10 - Nonlinear systems in control theory [MSC 2020] 93C35 - Multivariable systems, multidimensional control systems [MSC 2020] 93C73 - Perturbations in control/observation systems [MSC 2020] 93C95 - Application models in control theory [MSC 2020] |
| Soggetto non controllato |
Control
Intelligent energy planning Intelligent vehicles Multiagent control Optimization Smart energy storage and load management Smart grids technologies |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277666 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
