Cargando…
Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94) /
Principles of Knowledge Representation and Reasoning.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
San Francisco, CA :
Morgan Kaufmann Publishers,
�1994.
|
| Colección: | Morgan Kaufmann series in representation and reasoning.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn624407987 | ||
| 003 | OCoLC | ||
| 005 | 20231117033136.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100521s1994 caua ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCF |d OCLCO |d OPELS |d N$T |d YDXCP |d EBLCP |d DEBSZ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d MERUC |d OCLCQ |d VLY |d OCLCQ |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 300315247 |a 897646172 |a 974619254 |a 974669738 |a 1162310097 |a 1175723162 | ||
| 020 | |a 9781483214528 |q (electronic bk.) | ||
| 020 | |a 1483214524 |q (electronic bk.) | ||
| 020 | |a 1322469997 | ||
| 020 | |a 9781322469997 | ||
| 020 | |z 155860328X | ||
| 020 | |z 9781558603288 | ||
| 035 | |a (OCoLC)624407987 |z (OCoLC)300315247 |z (OCoLC)897646172 |z (OCoLC)974619254 |z (OCoLC)974669738 |z (OCoLC)1162310097 |z (OCoLC)1175723162 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q387 |b .I59 1994 | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3/3 |2 20 |
| 111 | 2 | |a International Conference on Principles of Knowledge Representation and Reasoning |n (4th : |d 1994 : |c Bonn, Germany) | |
| 245 | 1 | 0 | |a Principles of knowledge representation and reasoning : |b proceedings of the fourth international conference (KR'94) / |c edited by Jon Doyle, Erik Sandewall, Pietro Torasso. |
| 260 | |a San Francisco, CA : |b Morgan Kaufmann Publishers, |c �1994. | ||
| 300 | |a 1 online resource (xii, 655 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 | ||
| 490 | 1 | |a The Morgan Kaufmann series in representation and reasoning | |
| 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. | |
| 520 | |a Principles of Knowledge Representation and Reasoning. | ||
| 505 | 0 | |a Front Cover; Principles of Knowledge Representation and Reasoning; Copyright Page; Table of Contents; Preface; Acknowledgments; Part I: Contributed Papers; Chapter 1. A Computational Account for a Description Logic of Time and Action; Abstract; 1 INTRODUCTION; 2 THE TEMPORAL LANGUAGE; 3 ACTIONS AND PLANS; 4 THE CALCULUS; 5 CONCLUSIONS; Acknowledgments; References; Chapter 2. Proofs in context; Abstract; 1 INTRODUCTION; 2 DIFFICULTIES WITH PROOFS IN CONTEXT; 3 A METHOD FOR PROOFS IN CONTEXT; 4 A PROOF METHOD AND NOTATION; 5 CONCLUSIONS; Acknowledgments; References; A APPENDIX. | |
| 505 | 8 | |a Chapter 3. An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental StatesAbstract; 1 INTRODUCTION; 2 METAPHORS OF MIND; 3 SKETCH OF REASONING; 4 REPRESENTATION SCHEME; 5 REASONING BASICS; 6 BELIEF REASONING; 7 METAPHORICAL REASONING; 8 CONCLUSION; Acknowledgements; References; Chapter 4. Reasoning with minimal models: Efficient algorithms and applications; Abstract; 1 Introduction; 2 The elimination algorithm for HCF theories; 3 The elimination algorithm forfirst-order HCF theories; 4 Applications of the elimination algorithm. | |
| 505 | 8 | |a 5 Expressive power of stratified knowledgebases6 Related work; 7 Conclusion; Appendix; Acknowledgments; References; Chapter 5. Spatial Reasoning with Propositional Logics; Abstract; 1 INTRODUCTION; 2 TOPOLOGICAL INTERPRETATION OF PROPOSITIONAL LOGIC; 3 DEFINING TOPOLOGICAL RELATIONS; 4 REASONING WITH Co+; 5 MORE EXPRESSIVENESS WITH INTUITIONISTIC LOGIC; 6 IMPLEMENTATION OF A20+ REASONING SYSTEM; 7 EXTENDING THE REPRESENTATION; 8 CONCLUSIONS; Acknowledgements; References; Chapter 6. On the Relation Between Default and Modal Consequence Relations; Abstract; 1 INTRODUCTION. | |
| 505 | 8 | |a 2 DEFAULT CONSEQUENCE RELATIONS3 MODAL DEFAULT CONSEQUENCE RELATIONS; 4 REDUCTIONS AND EMBEDDINGS; 5 CONCLUSIONS; References; Chapter 7. Toward a Logic for Qualitative Decision Theory; Abstract; 1 Introduction; 2 Conditional Preferences; 3 Default Knowledge; 4 Ability and Incomplete Knowledge; 5 Concluding Remarks; References; Acknowledgements; Chapter 8. Belief Ascription and Mental-level Modelling; Abstract; 1 INTRODUCTION; 2 THE FRAMEWORK; 3 ASCRIBING BELIEF; 4 CHOOSING AMONG BELIEF ASSIGNMENTS; 5 ADDING TIME; 6 BELIEF CHANGE; 7 EXISTENCE -- GOAL SEEKING AGENTS; 8 DISCUSSION. | |
| 505 | 8 | |a AcknowledgementReferences; Chapter 9. Default Logic as a Query Language; Abstract; 1 INTRODUCTION; 2 DEFINITION OF DQL; 3 EXPRESSIVE POWER OF DQL; 4 APPLICATIONS AND EXAMPLES; 5 COMBINED COMPLEXITY OF DQL; 6 CONCLUSIONS; APPENDIX; Acknowledgements; References; Chapter 10. A Unified Framework for Class-Based Representation Formalisms; Abstract; 1 INTRODUCTION; 2 A UNIFYING CLASS-BASED REPRESENTATION LANGUAGE; 3 REASONING IN UNRESTRICTED MODELS; 4 REASONING IN FINITE MODELS; 5 CONCLUSIONS; Acknowledgements; References. | |
| 546 | |a English. | ||
| 650 | 0 | |a Knowledge representation (Information theory) |v Congresses. | |
| 650 | 0 | |a Reasoning |v Congresses. | |
| 650 | 6 | |a Repr�esentation des connaissances |0 (CaQQLa)201-0216689 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast |0 (OCoLC)fst00988187 | |
| 650 | 7 | |a Reasoning |2 fast |0 (OCoLC)fst01091282 | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 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 Doyle, Jon. | |
| 700 | 1 | |a Sandewall, Erik. | |
| 700 | 1 | |a Torasso, Pietro. | |
| 776 | 0 | 8 | |i Print version: |a International Conference on Principles of Knowledge Representation and Reasoning (4th : 1994 : Bonn, Germany). |t Principles of knowledge representation and reasoning. |d San Francisco, CA : Morgan Kaufmann Publishers, �1994 |w (DLC) 94009421 |w (OCoLC)30069289 |
| 830 | 0 | |a Morgan Kaufmann series in representation and reasoning. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9781483214528 |z Texto completo |