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.
Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso
| Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso |
| Autore | Ghallab Malik |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 |
| Descrizione fisica | 1 online resource (664 p.) |
| Disciplina | 658.5 |
| Altri autori (Persone) |
NauDana S
TraversoPaolo |
| Collana | The Morgan Kaufmann Series in Artificial Intelligence |
| Soggetto topico | Production planning - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-00721-8
9786611007218 0-08-049051-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Automated Planning Theory and Practice; Copyright Page; Contents; About the Authors; Foreword; Preface; Table of Notation; Chapter 1. Introduction and Overview; 1.1 First Intuitions on Planning; 1.2 Forms of Planning; 1.3 Domain-Independent Planning; 1.4 Conceptual Model for Planning; 1.5 Restricted Model; 1.6 Extended Models; 1.7 A Running Example: Dock-Worker Robots; Part I: Classical Planning; Chapter 2. Representations for Classical Planning; 2.1 Introduction; 2.2 Set-Theoretic Representation; 2.3 Classical Representation; 2.4 Extending the Classical Representation
2.5 State-Variable Representation2.6 Comparisons; 2.7 Discussion and Historical Remarks; 2.8 Exercises; Chapter 3. Complexity of Classical Planning; 3.1 Introduction; 3.2 Preliminaries; 3.3 Decidability and Undecidability Results; 3.4 Complexity Results; 3.5 Limitations; 3.6 Discussion and Historical Remarks; 3.7 Exercises; Chapter 4. State-Space Planning; 4.1 Introduction; 4.2 Forward Search; 4.3 Backward Search; 4.4 The STRIPS Algorithm; 4.5 Domain-Specific State-Space Planning; 4.6 Discussion and Historical Remarks; 4.7 Exercises; Chapter 5. Plan-Space Planning; 5.1 Introduction 5.2 The Search Space of Partial Plans5.3 Solution Plans; 5.4 Algorithms for Plan-Space Planning; 5.5 Extensions; 5.6 Plan-Space versus State-Space Planning; 5.7 Discussion and Historical Remarks; 5.8 Exercises; Part II: Neoclassical Planning; Chapter 6. Planning-Graph Techniques; 6.1 Introduction; 6.2 Planning Graphs; 6.3 The Graphplan Planner; 6.4 Extensions and Improvements of Graphplan; 6.5 Discussion and Historical Remarks; 6.6 Exercises; Chapter 7. Propositional Satisfiability Techniques; 7.1 Introduction; 7.2 Planning Problems as Satisfiability Problems; 7.3 Planning by Satisfiability 7.4 Different Encodings7.5 Discussion and Historical Remarks; 7.6 Exercises; Chapter 8. Constraint Satisfaction Techniques; 8.1 Introduction; 8.2 Constraint Satisfaction Problems; 8.3 Planning Problems as CSPs; 8.4 CSP Techniques and Algorithms; 8.5 Extended CSP Models; 8.6 CSP Techniques in Planning; 8.7 Discussion and Historical Remarks; 8.8 Exercises; Part III: Heuristics and Control Strategies; Chapter 9. Heuristics in Planning; 9.1 Introduction; 9.2 Design Principle for Heuristics: Relaxation; 9.3 Heuristics for State-Space Planning; 9.4 Heuristics for Plan-Space Planning 9.5 Discussion and Historical Remarks9.6 Exercises; Chapter 10. Control Rules in Planning; 10.1 Introduction; 10.2 Simple Temporal Logic; 10.3 Progression; 10.4 Planning Procedure; 10.5 Extensions; 10.6 Extended Goals; 10.7 Discussion and Historical Remarks; 10.8 Exercises; Chapter 11. Hierarchical Task Network Planning; 11.1 Introduction; 11.2 STN Planning; 11.3 Total-Order STN Planning; 11.4 Partial-Order STN Planning; 11.5 HTN Planning; 11.6 Comparisons; 11.7 Extensions; 11.8 Extended Goals; 11.9 Discussion and Historical Remarks; 11.10 Exercises Chapter 12. Control Strategies in Deductive Planning |
| Record Nr. | UNINA-9910450502803321 |
Ghallab Malik
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso
| Automated planning [[electronic resource] ] : theory and practice / / Ghallab Malik, Dana Nau, Paolo Traverso |
| Autore | Ghallab Malik |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 |
| Descrizione fisica | 1 online resource (664 p.) |
| Disciplina | 658.5 |
| Altri autori (Persone) |
NauDana S
TraversoPaolo |
| Collana | The Morgan Kaufmann Series in Artificial Intelligence |
| Soggetto topico | Production planning - Data processing |
| ISBN | 9780080490519 (Electronic Book) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Automated Planning Theory and Practice; Copyright Page; Contents; About the Authors; Foreword; Preface; Table of Notation; Chapter 1. Introduction and Overview; 1.1 First Intuitions on Planning; 1.2 Forms of Planning; 1.3 Domain-Independent Planning; 1.4 Conceptual Model for Planning; 1.5 Restricted Model; 1.6 Extended Models; 1.7 A Running Example: Dock-Worker Robots; Part I: Classical Planning; Chapter 2. Representations for Classical Planning; 2.1 Introduction; 2.2 Set-Theoretic Representation; 2.3 Classical Representation; 2.4 Extending the Classical Representation
2.5 State-Variable Representation2.6 Comparisons; 2.7 Discussion and Historical Remarks; 2.8 Exercises; Chapter 3. Complexity of Classical Planning; 3.1 Introduction; 3.2 Preliminaries; 3.3 Decidability and Undecidability Results; 3.4 Complexity Results; 3.5 Limitations; 3.6 Discussion and Historical Remarks; 3.7 Exercises; Chapter 4. State-Space Planning; 4.1 Introduction; 4.2 Forward Search; 4.3 Backward Search; 4.4 The STRIPS Algorithm; 4.5 Domain-Specific State-Space Planning; 4.6 Discussion and Historical Remarks; 4.7 Exercises; Chapter 5. Plan-Space Planning; 5.1 Introduction 5.2 The Search Space of Partial Plans5.3 Solution Plans; 5.4 Algorithms for Plan-Space Planning; 5.5 Extensions; 5.6 Plan-Space versus State-Space Planning; 5.7 Discussion and Historical Remarks; 5.8 Exercises; Part II: Neoclassical Planning; Chapter 6. Planning-Graph Techniques; 6.1 Introduction; 6.2 Planning Graphs; 6.3 The Graphplan Planner; 6.4 Extensions and Improvements of Graphplan; 6.5 Discussion and Historical Remarks; 6.6 Exercises; Chapter 7. Propositional Satisfiability Techniques; 7.1 Introduction; 7.2 Planning Problems as Satisfiability Problems; 7.3 Planning by Satisfiability 7.4 Different Encodings7.5 Discussion and Historical Remarks; 7.6 Exercises; Chapter 8. Constraint Satisfaction Techniques; 8.1 Introduction; 8.2 Constraint Satisfaction Problems; 8.3 Planning Problems as CSPs; 8.4 CSP Techniques and Algorithms; 8.5 Extended CSP Models; 8.6 CSP Techniques in Planning; 8.7 Discussion and Historical Remarks; 8.8 Exercises; Part III: Heuristics and Control Strategies; Chapter 9. Heuristics in Planning; 9.1 Introduction; 9.2 Design Principle for Heuristics: Relaxation; 9.3 Heuristics for State-Space Planning; 9.4 Heuristics for Plan-Space Planning 9.5 Discussion and Historical Remarks9.6 Exercises; Chapter 10. Control Rules in Planning; 10.1 Introduction; 10.2 Simple Temporal Logic; 10.3 Progression; 10.4 Planning Procedure; 10.5 Extensions; 10.6 Extended Goals; 10.7 Discussion and Historical Remarks; 10.8 Exercises; Chapter 11. Hierarchical Task Network Planning; 11.1 Introduction; 11.2 STN Planning; 11.3 Total-Order STN Planning; 11.4 Partial-Order STN Planning; 11.5 HTN Planning; 11.6 Comparisons; 11.7 Extensions; 11.8 Extended Goals; 11.9 Discussion and Historical Remarks; 11.10 Exercises Chapter 12. Control Strategies in Deductive Planning |
| Record Nr. | UNINA-9910783135503321 |
|
Ghallab Malik
|
||
| Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated and collaborative product development environment [[electronic resource] ] : technologies and implementations / / W.D. Li, S.K. Ong, A.Y.C. Nee
| Integrated and collaborative product development environment [[electronic resource] ] : technologies and implementations / / W.D. Li, S.K. Ong, A.Y.C. Nee |
| Autore | Li W. D |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (348 p.) |
| Disciplina | 670.285 |
| Altri autori (Persone) |
NeeA. Y. C <1948-> (Andrew Yeh Chris)
OngS. K. <1969-> |
| Collana | Series on manufacturing systems and technology |
| Soggetto topico |
Computer integrated manufacturing systems
Industrial design - Data processing New products - Technological innovations Production planning - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-38319-8
9786611383190 981-277-415-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Abbreviation ; 1. Introduction ; 1.1 Concurrent and Collaborative Engineering ; 1.2 Enabling Technologies ; 1.2.1 Artificial intelligence ; 1.2.2 Internet technologies ; 1.3 Summary ; 2. Manufacturing Feature Recognition Technology - State-of-the-Art
2.1 Evolving Representations for Design Models 2.2 Boundary Feature Recognition Scheme ; 2.2.1 Rule-based approach ; 2.2.2 Graph-based approach ; 2.2.3 Hint-based approach ; 2.2.4 Artificial neural networks-based approach ; 2.3 Volumetric Feature Recognition Scheme 2.3.1 Convex hull approach 2.3.2 Volume growing/decomposition approach ; 2.4 Integration of Design-by-Feature and Feature Recognition ; 2.5 Summary ; 3. A Hybrid Method for Interacting Manufacturing Feature Recognition ; 3.1 Introduction ; 3.2 Enhanced Attributed Adjacency Graph 3.2.1 Pre-process for generating EAAG 3.2.2 Establishment of EAAG ; 3.3 Generation of Potential Features ; 3.3.1 Identifications of F-Loops and their relationships ; 3.3.2 Identifications of FLGs ; 3.4 Neural Networks Classifier ; 3.5 Computation Results 3.5.1 Results for feature recognition 3.5.2 Result comparisons ; 3.6 Summary ; 4. Integration of Design-by-Feature and Manufacturing Feature Recognition ; 4.1 Introduction ; 4.2 Features and Their Relationships ; 4.2.1 Feature models ; 4.2.2 Interacting relationships between features 4.3 Manufacturing Features Recognition Processor |
| Record Nr. | UNINA-9910458545903321 |
|
Li W. D
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated and collaborative product development environment [[electronic resource] ] : technologies and implementations / / W.D. Li, S.K. Ong, A.Y.C. Nee
| Integrated and collaborative product development environment [[electronic resource] ] : technologies and implementations / / W.D. Li, S.K. Ong, A.Y.C. Nee |
| Autore | Li W. D |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (348 p.) |
| Disciplina | 670.285 |
| Altri autori (Persone) |
NeeA. Y. C <1948-> (Andrew Yeh Chris)
OngS. K. <1969-> |
| Collana | Series on manufacturing systems and technology |
| Soggetto topico |
Computer integrated manufacturing systems
Industrial design - Data processing New products - Technological innovations Production planning - Data processing |
| ISBN |
1-60119-284-3
1-281-38319-8 9786611383190 981-277-415-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Abbreviation ; 1. Introduction ; 1.1 Concurrent and Collaborative Engineering ; 1.2 Enabling Technologies ; 1.2.1 Artificial intelligence ; 1.2.2 Internet technologies ; 1.3 Summary ; 2. Manufacturing Feature Recognition Technology - State-of-the-Art
2.1 Evolving Representations for Design Models 2.2 Boundary Feature Recognition Scheme ; 2.2.1 Rule-based approach ; 2.2.2 Graph-based approach ; 2.2.3 Hint-based approach ; 2.2.4 Artificial neural networks-based approach ; 2.3 Volumetric Feature Recognition Scheme 2.3.1 Convex hull approach 2.3.2 Volume growing/decomposition approach ; 2.4 Integration of Design-by-Feature and Feature Recognition ; 2.5 Summary ; 3. A Hybrid Method for Interacting Manufacturing Feature Recognition ; 3.1 Introduction ; 3.2 Enhanced Attributed Adjacency Graph 3.2.1 Pre-process for generating EAAG 3.2.2 Establishment of EAAG ; 3.3 Generation of Potential Features ; 3.3.1 Identifications of F-Loops and their relationships ; 3.3.2 Identifications of FLGs ; 3.4 Neural Networks Classifier ; 3.5 Computation Results 3.5.1 Results for feature recognition 3.5.2 Result comparisons ; 3.6 Summary ; 4. Integration of Design-by-Feature and Manufacturing Feature Recognition ; 4.1 Introduction ; 4.2 Features and Their Relationships ; 4.2.1 Feature models ; 4.2.2 Interacting relationships between features 4.3 Manufacturing Features Recognition Processor |
| Record Nr. | UNINA-9910784612803321 |
|
Li W. D
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Production planning and control with SAP ERP / Jawad Akhtar
| Production planning and control with SAP ERP / Jawad Akhtar |
| Autore | Akhtar, Jawad |
| Edizione | [2nd ed.] |
| Descrizione fisica | 940 p. ; 24 cm |
| Disciplina | 634.9 |
| Soggetto topico |
Production planning - Data processing
Production control - Data processing |
| ISBN | 9781493214303 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003564999707536 |
|
Akhtar, Jawad
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, Gaithersburg, MD / / sponsored by IBM Corporation, Siemens Corporate Research, The Computer Society of the IEEE, ACM SIGMOD, NIST
| Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, Gaithersburg, MD / / sponsored by IBM Corporation, Siemens Corporate Research, The Computer Society of the IEEE, ACM SIGMOD, NIST |
| Pubbl/distr/stampa | Washington, D.C. : , : IEEE Computer Society Press, , 1989 |
| Descrizione fisica | 1 online resource |
| Disciplina | 620/.0285 |
| Soggetto topico |
Production planning - Data processing
Expert systems (Computer science) Computer-aided design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996215335003316 |
| Washington, D.C. : , : IEEE Computer Society Press, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, Gaithersburg, MD / / sponsored by IBM Corporation, Siemens Corporate Research, The Computer Society of the IEEE, ACM SIGMOD, NIST
| Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, Gaithersburg, MD / / sponsored by IBM Corporation, Siemens Corporate Research, The Computer Society of the IEEE, ACM SIGMOD, NIST |
| Pubbl/distr/stampa | Washington, D.C. : , : IEEE Computer Society Press, , 1989 |
| Descrizione fisica | 1 online resource |
| Disciplina | 620/.0285 |
| Soggetto topico |
Production planning - Data processing
Expert systems (Computer science) Computer-aided design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872518303321 |
| Washington, D.C. : , : IEEE Computer Society Press, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
