000			03697nam a2200541 i 4500
001			6267507
003			IEEE
005			20220712204725.0
006			m o d
007			cr |n|||||||||
008			151223s1992 maua ob 001 eng d
010			_z 91005050 (print)
020			_a9780262291057 _qelectronic
020			_z0262521687 _qprint
035			_a(CaBNVSL)mat06267507
035			_a(IDAMS)0b000064818b4529
040			_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL
050		4	_aQ387 _b.K56 1992eb
082	0	0	_a003/.54 _220
245	0	0	_aKnowledge representation / _cedited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter.
250			_a1st MIT Press ed.
264		1	_aCambridge, Massachusetts : _bMIT Press, _c1992.
264		2	_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1992]
300			_a1 PDF (408 pages) : _billustrations.
336			_atext _2rdacontent
337			_aelectronic _2isbdmedia
338			_aonline resource _2rdacarrier
490	1		_aSpecial issues of Artificial intelligence, an international journal
500			_a"A Bradford book."
500			_a"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--T.p. verso.
504			_aIncludes bibliographical references and indexes.
506	1		_aRestricted to subscribers or individual electronic text purchasers.
520			_aGrowing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning.
530			_aAlso available in print.
538			_aMode of access: World Wide Web
588			_aDescription based on PDF viewed 12/23/2015.
650		0	_aKnowledge representation (Information theory) _922651
655		0	_aElectronic books. _93294
700	1		_aBrachman, Ronald J., _d1949- _923175
700	1		_aLevesque, Hector J., _d1951- _922650
700	1		_aReiter, Ray. _923176
710	2		_aIEEE Xplore (Online Service), _edistributor. _923177
710	2		_aMIT Press, _epublisher. _923178
776	0	8	_iPrint version _z0262521687
830		0	_aSpecial issues of Artificial intelligence, an international journal _923179
856	4	2	_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507
942			_cEBK
999			_c73161 _d73161