The logic of knowledge bases

Saved in:
Bibliographic Details
Main Author: Levesque, Hector J., 1951-
Other Authors: Lakemeyer, Gerhard.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c2000.
Subjects:
Knowledge representation (Information theory)
Expert systems (Computer science)
Logic, Symbolic and mathematical.
elektronické knihy
electronic books
ISBN: 9780262278232
Physical Description: 1 online zdroj (xviii, 282 p.)

Cover

Table of contents

LEADER 02233cam a2200349 a 4500
001 74795
003 CZ ZlUTB
005 20240911212157.0
006 m d
007 cr un
008 050928s2000 mau sb 001 0 eng d
020 |a 9780262278232  |q (ebook) 
035 |a (OCoLC)61725586  |z (OCoLC)60642144  |z (OCoLC)437427009  |z (OCoLC)507298723 
040 |a N$T  |b eng  |c N$T  |d OCLCQ  |d OCLCG  |d OCLCQ  |d N$T  |d OCLCQ  |d OCLCO  |d OCLCQ  |d IEEEE  |d OCLCF  |d ZXC  |d LGG  |d MERER  |d UV0  |d U9X  |d COO  |d ZCU  |d B24X7  |d NLGGC 
100 1 |a Levesque, Hector J.,  |d 1951- 
245 1 4 |a The logic of knowledge bases  |h [elektronický zdroj] /  |c Hector J. Levesque and Gerhard Lakemeyer. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c2000. 
300 |a 1 online zdroj (xviii, 282 p.) 
504 |a Includes bibliographical references (p. [275]-280) and index. 
505 0 |t Preface --  |t Acknowledgments --  |g 1.  |t Introduction --  |g 2.  |t A First-Order Logical Language --  |g 3.  |t An Epistemic Logical Language --  |g 4.  |t Logical Properties of Knowledge --  |g 5.  |t The TELL and ASK Operations --  |g 6.  |t Knowledge Bases as Representations of Epistemic States --  |g 7.  |t The Representation Theorem --  |g 8.  |t Only-Knowing --  |g 9.  |t Only-Knowing and Autoepistemic Logic --  |g 10.  |t On the Proof Theory of OL --  |g 11.  |t Only-Knowing-About --  |g 12.  |t Avoiding Logical Omniscience --  |g 13.  |t The Logic EOL --  |g 14.  |t Knowledge and Action --  |t Epilogue --  |t References --  |t Index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
650 0 |a Knowledge representation (Information theory) 
650 0 |a Expert systems (Computer science) 
650 0 |a Logic, Symbolic and mathematical. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Lakemeyer, Gerhard. 
776 0 8 |i Print version:  |a Levesque, Hector J., 1951-  |t Logic of knowledge bases.  |d Cambridge, Mass. : MIT Press, c2000  |z 0262122324  |w (DLC) 00025413  |w (OCoLC)43615402 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74795  |d 74795 
993 |x NEPOSILAT  |y EIZ 

Similar Items