Principles of knowledge representation and reasoning [electronic resource] : proceedings of the fourth international conference (KR'94) / edited by Jon Doyle, Erik Sandewall, Pietro Torasso.
Principles of Knowledge Representation and Reasoning.
Saved in:
| Online Access: |
Full Text (via ScienceDirect) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
San Francisco, CA :
Morgan Kaufmann Publishers,
©1994.
|
| Series: | Morgan Kaufmann series in representation and reasoning.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b10324038 | ||
| 003 | CoU | ||
| 005 | 20210813071822.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100521s1994 caua ob 101 0 eng d | ||
| 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)scd624407987 | ||
| 035 | |a (OCoLC)624407987 |z (OCoLC)300315247 |z (OCoLC)897646172 |z (OCoLC)974619254 |z (OCoLC)974669738 |z (OCoLC)1162310097 |z (OCoLC)1175723162 | ||
| 037 | |a scd9781483214528 | ||
| 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 | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a Q387 |b .I59 1994 | |
| 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 |h [electronic resource] : |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. | ||
| 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. | |
| 520 | |a Principles of Knowledge Representation and Reasoning. | ||
| 546 | |a English. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Knowledge representation (Information theory) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008106317. | |
| 650 | 0 | |a Reasoning |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008110531. | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast |0 (OCoLC)fst00988187. | |
| 650 | 7 | |a Reasoning. |2 fast |0 (OCoLC)fst01091282. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Doyle, Jon. |0 http://id.loc.gov/authorities/names/n2015040417 |1 http://isni.org/isni/0000000027059847. | |
| 700 | 1 | |a Sandewall, Erik. |0 http://id.loc.gov/authorities/names/n83011975 |1 http://isni.org/isni/0000000110485564. | |
| 700 | 1 | |a Torasso, Pietro. |0 http://id.loc.gov/authorities/names/n88168554 |1 http://isni.org/isni/0000000116261035. | |
| 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. |0 http://id.loc.gov/authorities/names/n90610963. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://www.sciencedirect.com/science/book/9781483214528 |z Full Text (via ScienceDirect) |
| 907 | |a .b10324038x |b 09-08-21 |c 02-05-19 | ||
| 998 | |a web |b 08-31-21 |c b |d b |e - |f eng |g cau |h 0 |i 1 | ||
| 907 | |a .b10324038x |b 09-08-21 |c 02-05-19 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 915 | |a - | ||
| 956 | |a ScienceDirect ebooks | ||
| 956 | |b ScienceDirect All Books | ||
| 999 | f | f | |i 2a94ac18-9a9e-5218-b8ca-a4f5419402ad |s c6dff1c8-befc-587c-aca2-af1c84781bc1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Q387 .I59 1994 |h Library of Congress classification |i web |n 1 |