Knowledge Engineering Tools and Techniques for AI Planning [[electronic resource] /] / edited by Mauro Vallati, Diane Kitchin |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (VIII, 277 p. 97 illus., 53 illus. in color.) |
Disciplina | 006.3 |
Soggetto topico |
Knowledge representation (Information theory)
Knowledge management Data mining Knowledge based Systems Knowledge Management Data Mining and Knowledge Discovery |
ISBN | 3-030-38561-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Part I: Knowledge Capture and Encoding -- 1. Explanation-based Learning of Action Models -- 2. Automated Domain Model Encoding tools for Planning -- 3. A Formal Knowledge Engineering Approach for Planning and Scheduling: Applications with itSIMPLE -- 4. MyPDDL: Tools for efficiently creating PDDL domains and problems -- 5. Planning.Domains: A Tool Suite for the Planning Researcher -- 6. Modelling Planning Tasks: Representation Matters -- Part II: Interaction, Visualisation, and Explanation -- 7. An Interactive Tool for Plan Generation, Inspection and Visualization -- 8. Interactive Visualization in Planning and Scheduling -- 9. Argument-based Plan Explanation -- 10. Interactive Planning-based Hypothesis Generation with LTS++ -- 11. Web Planner: A Tool to Develop, Visualize and Test Classical Planning Domains -- Part III: Case Studies and Applications -- 12. Design of Timeline-based Planning Systems for Safe Human-Robot Collaboration -- 13. Planning in a Real-world Application: An AUV Case Study -- 14. Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study.-. |
Record Nr. | UNISA-996465454503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Knowledge Engineering Tools and Techniques for AI Planning / / edited by Mauro Vallati, Diane Kitchin |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (VIII, 277 p. 97 illus., 53 illus. in color.) |
Disciplina | 006.3 |
Soggetto topico |
Knowledge representation (Information theory)
Knowledge management Data mining Knowledge based Systems Knowledge Management Data Mining and Knowledge Discovery |
ISBN | 3-030-38561-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Part I: Knowledge Capture and Encoding -- 1. Explanation-based Learning of Action Models -- 2. Automated Domain Model Encoding tools for Planning -- 3. A Formal Knowledge Engineering Approach for Planning and Scheduling: Applications with itSIMPLE -- 4. MyPDDL: Tools for efficiently creating PDDL domains and problems -- 5. Planning.Domains: A Tool Suite for the Planning Researcher -- 6. Modelling Planning Tasks: Representation Matters -- Part II: Interaction, Visualisation, and Explanation -- 7. An Interactive Tool for Plan Generation, Inspection and Visualization -- 8. Interactive Visualization in Planning and Scheduling -- 9. Argument-based Plan Explanation -- 10. Interactive Planning-based Hypothesis Generation with LTS++ -- 11. Web Planner: A Tool to Develop, Visualize and Test Classical Planning Domains -- Part III: Case Studies and Applications -- 12. Design of Timeline-based Planning Systems for Safe Human-Robot Collaboration -- 13. Planning in a Real-world Application: An AUV Case Study -- 14. Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study.-. |
Record Nr. | UNINA-9910410049103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|