Cargando…
Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland /
Artificial Intelligence Planning Systems.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , , , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
San Mateo, Calif. :
M. Kaufmann,
�1992.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn622773056 | ||
| 003 | OCoLC | ||
| 005 | 20231117033131.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100519s1992 caua ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d OCLCO |d OPELS |d N$T |d IDEBK |d E7B |d YDXCP |d EBLCP |d DEBSZ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d MERUC |d OCLCQ |d UAB |d UMI |d SFB |d VT2 |d VLY |d OCLCQ |d COM |d OCLCO |d OCLCQ | ||
| 019 | |a 300639624 |a 897645851 |a 898328430 |a 974617261 |a 988559951 |a 1153012840 |a 1175712573 |a 1195891358 |a 1196281686 |a 1199525542 | ||
| 020 | |a 9780080499444 |q (electronic bk.) | ||
| 020 | |a 0080499449 |q (electronic bk.) | ||
| 020 | |a 1322465630 |q (ebk) | ||
| 020 | |a 9781322465630 |q (ebk) | ||
| 020 | |z 155860250X | ||
| 020 | |z 9781558602502 | ||
| 035 | |a (OCoLC)622773056 |z (OCoLC)300639624 |z (OCoLC)897645851 |z (OCoLC)898328430 |z (OCoLC)974617261 |z (OCoLC)988559951 |z (OCoLC)1153012840 |z (OCoLC)1175712573 |z (OCoLC)1195891358 |z (OCoLC)1196281686 |z (OCoLC)1199525542 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q334 |b .A777 1992 | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3/3 |2 20 |
| 245 | 0 | 0 | |a Artificial intelligence planning systems : |b proceedings of the first international conference, June 15-17, 1992, College Park, Maryland / |c edited by James Hendler ; sponsored by American Association for Artificial Intelligence, Defense Advanced Research Projects Agency, University of Maryland Institute for Advanced Computer Studies. |
| 260 | |a San Mateo, Calif. : |b M. Kaufmann, |c �1992. | ||
| 300 | |a 1 online resource (vii, 314 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Artificial Intelligence Planning Systems; Copyright Page; Organization of the 1st International Conference on AI Planning Systems; Acknowledgements; Table of Contents; Foreword: Planning the Planning Conference; Part I: Papers; Chapter 1. Declarative Goals in Reactive Plans; Abstract; 1 Introduction; 2 Problems and Representations; 3 Planning Algorithm; 4 Related Work; 5 Conclusion; Acknowledgements; References; Chapter 2. An Analysis of Search Techniques for a Totally-Ordered Nonlinear Planner; Abstract; 1 Introduction; 2 Search in PRODIGY4.0. | |
| 505 | 8 | |a 3 Integration of abstraction in prodigy4.04 Empirical Results; 5 Conclusions and some future directions; Acknowledgements; References; Chapter 3. Complexity Results for Extended Planning; Abstract; 1 INTRODUCTION; 2 PREVIOUS COMPLEXITY RESULTS; 3 EXTENDED PLANNING; 4 COMPLEXITY RESULTS; 5 IMPLICATIONS; Acknowledgments; References; Chapter 4. Abstract Probabilistic Modeling of Action; Abstract; 1 Introduction; 2 Abstraction Problems; 3 Abstraction-Based Interpretation; 4 Modeling Action; 5 Projection; 6 Levels of Abstraction; 7 Conclusion; Acknowledgements; References. | |
| 505 | 8 | |a Appendix: Proof of Lemma 1Chapter 5. Semantics for tasks that can be interrupted or abandoned; Abstract; 1 SEMANTICS FOR ALGOL-LIKE PLANNING LANGUAGES; 2 INTERRUPTING A N D SUSPENDING SUBTASKS; 3 THE SEMANTICS OF CONTINUING A TASK; 4 EMBEDDING IN CONTINUOUS TIME; 5 PRIMITIVE ACTIONS; 6 FORMAL SEMANTICS; 7 FORMAL VERIFICATION OF A PLAN (SKETCH); 8 FUTURE WORK; Acknowledgements; References; Chapter 6. Acquiring Search Heuristics Automatically for Constraint-based Planning and Scheduling; Abstract; 1 Introduction; 2 Background; 3 Learning about Variables; 4 Generalized Constraints; 5 Discussion. | |
| 505 | 8 | |a AcknowledgementsReferences; Chapter 7. PLAN RECOGNITION IN UNDERSTANDING INSTRUCTIONS; Abstract; 1 Introduction; 2 Accommodation; 3 Related work; 4 Implementation of inferences; 5 Summary; Acknowledgements; References; Chapter 8. Building Symbolic Primitives with Continuous Control Routines; Abstract; 1 Introduction; 2 Background; 3 Situation Specific Robot Control; 4 An Example: Object Following; 5 Summary; References; Chapter 9. Rational Handling of Multiple Goals for Mobile Robots; Abstract; 1 Introduction; 2 Utility Based Rationality; 3 Planning Framework; 4 Hero Robot Domain. | |
| 505 | 8 | |a 5 ConclusionsAcknowledgments; References; Chapter 10. A Framework of Simplifications in Learning to Plan; Abstract; 1 INTRODUCTION; 2 ADEQUATE LEARNING; 3 CHALLENGES AND DIRECTIONS; 4 VALIDATING SIMPLIFICATIONS; 5 CONCLUSIONS; Acknowledgements; References; Chapter 11. Decision-Theoretic Recursive Modeling and the Coordinated Attack Problem; Abstract; Introduction; The Recursive Modeling Method (RMM); The Utility of Communication Using RMM; Intentional Messages; Decision-Theoretic Solution to the Coordinated Attack Problem; Discussion; Acknowledgements; References. | |
| 520 | |a Artificial Intelligence Planning Systems. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 0 | |a Planning |x Data processing |v Congresses. | |
| 650 | 6 | |a Intelligence artificielle |0 (CaQQLa)201-0008626 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Planification |0 (CaQQLa)201-0191012 |x Informatique |0 (CaQQLa)201-0191012 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Planning |x Data processing. |2 fast |0 (OCoLC)fst01065228 | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Hendler, James A. | |
| 710 | 2 | |a American Association for Artificial Intelligence. | |
| 710 | 1 | |a United States. |b Defense Advanced Research Projects Agency. | |
| 710 | 2 | |a University of Maryland at College Park. |b Institute for Advanced Computer Studies. | |
| 711 | 2 | |a International Conference on Artificial Intelligence Planning Systems |n (1st : |d 1992 : |c College Park, Md.) | |
| 776 | 0 | 8 | |i Print version: |t Artificial intelligence planning systems. |d San Mateo, Calif. : M. Kaufmann, �1992 |w (DLC) 92013636 |w (OCoLC)25709087 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780080499444 |z Texto completo |