skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

The logic of knowledge bases
ClosePreview this item

The logic of knowledge bases

Author: Hector J Levesque; Gerhard Lakemeyer
Publisher: Cambridge, Mass. : MIT Press, ©2000.
Edition/Format: Book : eBook : EnglishView all editions and formats
Rating:

Retrieving ratings and reviews data...  

 

Find a copy online

Links to this item

Find a copy in the library

Retrieving... Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hector J Levesque; Gerhard Lakemeyer
ISBN: 0262122324 9780262122320
OCLC Number: 43615402
Description: xviii, 282 p. ; 24 cm.
Contents: Preface -- Acknowledgments -- 1. Introduction -- 2. A First-Order Logical Language -- 3. An Epistemic Logical Language -- 4. Logical Properties of Knowledge -- 5. The TELL and ASK Operations -- 6. Knowledge Bases as Representations of Epistemic States -- 7. The Representation Theorem -- 8. Only-Knowing -- 9. Only-Knowing and Autoepistemic Logic -- 10. On the Proof Theory of OL -- 11. Only-Knowing-About -- 12. Avoiding Logical Omniscience -- 13. The Logic EOL -- 14. Knowledge and Action -- Epilogue -- References -- Index.
Responsibility: Hector J. Levesque and Gerhard Lakemeyer.

Reviews

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.