|
|
|
|
LEADER |
02282cam a2200349 a 4500 |
001 |
74690 |
003 |
CZ ZlUTB |
005 |
20240911212103.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
|
993 |
|
|
|x NEPOSILAT
|y EIZ
|