KI 2016: Advances in Artificial Intelligence [[electronic resource] ] : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 318 p. 73 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Application software Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-46073-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465982803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 318 p. 73 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Application software Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-46073-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483370103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Understanding Planning Tasks [[electronic resource] ] : Domain Complexity and Heuristic Decomposition / / by Malte Helmert |
Autore | Helmert Malte |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XIV, 270 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | HelmertMalte |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Algorithms Computers Mathematical statistics Artificial Intelligence Algorithm Analysis and Problem Complexity Computation by Abstract Devices Probability and Statistics in Computer Science |
ISBN | 3-540-77723-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion. |
Record Nr. | UNISA-996465286803316 |
Helmert Malte | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition / / by Malte Helmert |
Autore | Helmert Malte |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XIV, 270 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | HelmertMalte |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Algorithms Computers Mathematical statistics Artificial Intelligence Algorithm Analysis and Problem Complexity Computation by Abstract Devices Probability and Statistics in Computer Science |
ISBN | 3-540-77723-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning Benchmarks -- The Role of Benchmarks -- Defining Planning Domains -- The Benchmark Suite -- Transportation and Route Planning -- IPC Domains: Transportation and Route Planning -- IPC Domains: Others -- Conclusions -- Fast Downward -- Solving Planning Tasks Hierarchically -- Translation -- Knowledge Compilation -- Search -- Experiments -- Discussion. |
Record Nr. | UNINA-9910483385103321 |
Helmert Malte | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|