Nonmonotonic reasoning

Saved in:
Bibliographic Details
Main Author: Antoniou, G.
Other Authors: Williams, M. A.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c1997.
Series: Artificial intelligence (Cambridge, Mass.)
Subjects:
Nonmonotonic reasoning.
elektronické knihy
electronic books
ISBN: 9780262267199
Physical Description: 1 online zdroj (xii, 285 p.) : ill.

Cover

Table of contents

LEADER 02251cam a2200337 a 4500
001 74690
003 CZ ZlUTB
005 20200530174328.0
006 m d
007 cr un
008 000804s1997 maua sb 001 0 eng d
020 |a 9780262267199  |q (ebook) 
035 |a (OCoLC)44961249  |z (OCoLC)827009786 
040 |a N$T  |b eng  |c N$T  |d OCL  |d OCLCQ  |d YDXCP  |d OCLCG  |d OCLCQ  |d TUU  |d OCLCQ  |d TNF  |d OCLCQ  |d IEEEE  |d OCLCF 
100 1 |a Antoniou, G.  |q (Grigoris) 
245 1 0 |a Nonmonotonic reasoning  |h [elektronický zdroj] /  |c Grigoris Antoniou ; with contributions by Mary-Anne Williams. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1997. 
300 |a 1 online zdroj (xii, 285 p.) :  |b ill. 
490 1 |a Artificial intelligence 
504 |a Includes bibliographical references (p. [277]-281) and index. 
505 2 0 |g 1.  |t Introduction --  |g 2.  |t Predicate Logic --  |g 3.  |t Default Reasoning --  |g 4.  |t Operational Semantics of Default Logic --  |g 5.  |t Normal Default Theories --  |g 6.  |t Semi-normal Default Theories --  |g 7.  |t Alternative Approaches --  |g 8.  |t Priorities Among Defaults --  |g 9.  |t Autoepistemic Logic --  |g 10.  |t Computing Expansions of AE-Theories --  |g 11.  |t Embedding Default Logic into AE-Logic --  |g 12.  |t Circumscription --  |g 13.  |t Nonmonotonic Inference Relations --  |g 14.  |t Belief Revision --  |g 15.  |t Implementing Belief Revision --  |g 16.  |t Interconnections --  |g 17.  |t The System Theorist --  |g 18.  |t Stable Model Semantics of Logic Programs --  |g 19.  |t Well-Founded Semantics --  |g 20.  |t Future Directions of Nonmonotonic Reasoning Research. 
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 Nonmonotonic reasoning. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Williams, M. A. 
776 0 8 |i Print version:  |a Antoniou, G. (Grigoris).  |t Nonmonotonic reasoning.  |d Cambridge, Mass. : MIT Press, c1997  |z 0262011573  |w (DLC) 96015528  |w (OCoLC)34669285 
830 0 |a Artificial intelligence (Cambridge, Mass.) 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74690  |d 74690 

Similar Items