Advances in knowledge acquisition : 9. European knowledge acquisition workshop, EKAW '96 : Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.) |
Autore | European knowledge acquisition workshop : 9. : 1996 |
Pubbl/distr/stampa | Berlin, : Springer, 1996 |
Descrizione fisica | XII, 369 p. ; 24 cm. |
Soggetto topico |
68T30 - Knowledge representation [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] |
ISBN | 35-406-1273-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0071085 |
European knowledge acquisition workshop : 9. : 1996 | ||
Berlin, : Springer, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in knowledge acquisition : 9. European knowledge acquisition workshop, EKAW '96 : Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.) |
Autore | European knowledge acquisition workshop : 9. : 1996 |
Pubbl/distr/stampa | Berlin, : Springer, 1996 |
Descrizione fisica | XII, 369 p. ; 24 cm |
Soggetto topico |
68T30 - Knowledge representation [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] |
ISBN | 978-35-406-1273-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISOB-VAN0071085 |
European knowledge acquisition workshop : 9. : 1996 | ||
Berlin, : Springer, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Advances in knowledge acquisition : 9. European knowledge acquisition workshop, EKAW '96 : Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.) |
Autore | European knowledge acquisition workshop : 9. : 1996 |
Pubbl/distr/stampa | Berlin, : Springer, 1996 |
Descrizione fisica | XII, 369 p. ; 24 cm |
Soggetto topico |
68T30 - Knowledge representation [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] |
ISBN | 978-35-406-1273-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071085 |
European knowledge acquisition workshop : 9. : 1996 | ||
Berlin, : Springer, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in knowledge acquisition : 9. European knowledge acquisition workshop, EKAW '96 : Nottingham, United Kingdom, May 14-17, 1996 : proceedings / Nigel Shadbolt, Kieron O'Hara, Guus Schreiber (eds.) |
Autore | European knowledge acquisition workshop : 9. : 1996 |
Pubbl/distr/stampa | Berlin, : Springer, 1996 |
Descrizione fisica | XII, 369 p. ; 24 cm |
Soggetto topico |
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] 68T30 - Knowledge representation [MSC 2020] |
ISBN | 978-35-406-1273-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00071085 |
European knowledge acquisition workshop : 9. : 1996 | ||
Berlin, : Springer, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constraints meet concurrency / Jacopo Mauro |
Autore | Mauro, Jacopo |
Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
Descrizione fisica | XV, 148 p. : ill. ; 24 cm |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
Soggetto non controllato |
Concurrency theory
Constraint Handling Rules Constraint programming Service oriented computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0104374 |
Mauro, Jacopo | ||
Paris, : Atlantis, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constraints meet concurrency / Jacopo Mauro |
Autore | Mauro, Jacopo |
Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
Descrizione fisica | XV, 148 p. : ill. ; 24 cm |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] |
Soggetto non controllato |
Concurrency theory
Constraint Handling Rules Constraint programming Service oriented computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00104374 |
Mauro, Jacopo | ||
Paris, : Atlantis, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constraints meet concurrency / Jacopo Mauro |
Autore | Mauro, Jacopo |
Edizione | [Paris : Atlantis, 2014] |
Pubbl/distr/stampa | XV, 148 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
68N17 - Logic programming [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
ISBN | 8-94-6239-066-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0104374 |
Mauro, Jacopo | ||
XV, 148 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Intelligent Algorithms for Packing and Cutting Problem / Yunqing Rao, Qiang Luo |
Autore | Rao, Yunqing |
Pubbl/distr/stampa | Singapore, : Springer, 2022 |
Descrizione fisica | x, 330 p. : ill. ; 24 cm |
Altri autori (Persone) | Luo, Qiang |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C59 - Approximation methods and heuristics in mathematical programming [MSC 2020] |
Soggetto non controllato |
Beam search
Cutting problem Engineering application Genetic algorithm Grey wolf optimization Integrated system Intelligent method Irregular strip packing Knapsack packing problem Packing problem Packing problem with defects Parallel machine scheduling Particle Swarm Optimization Rectangular strip packing Reinforcement Learning Tabu search Variable neighborhood search |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00278439 |
Rao, Yunqing | ||
Singapore, : 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 |
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 |
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 | ||
|