000			02015nam a22004695i 4500
001			978-3-540-46992-6
003			DE-He213
005			20160624102019.0
007			cr nn 008mamaa
008			121227s1990 gw | s |||| 0|eng d
020			_a9783540469926 _9978-3-540-46992-6
024	7		_a10.1007/BFb0016445 _2doi
050		4	_aQ334-342
050		4	_aTJ210.2-211.495
072		7	_aUYQ _2bicssc
072		7	_aTJFM1 _2bicssc
072		7	_aCOM004000 _2bisacsh
082	0	4	_a006.3 _223
100	1		_aNebel, Bernhard. _eauthor.
245	1	0	_aReasoning and Revision in Hybrid Representation Systems _h[electronic resource] / _cby Bernhard Nebel.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1990.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1990.
300			_aXIV, 274 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, _x0302-9743 ; _v422
505	0		_aRepresentation and management of knowledge -- A hybrid representation formalism -- Reasoning in the formalism -- Terminological cycles -- Belief revision -- The revision in terminological systems -- Terminological reason maintenance -- Summary and outlook -- The universal term-forming formalism U -- Overview of formalism and systems.
650		0	_aComputer science.
650		0	_aArtificial intelligence.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics).
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540524434
786			_dSpringer
830		0	_aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, _x0302-9743 ; _v422
856	4	0	_uhttp://dx.doi.org/10.1007/BFb0016445
942			_2EBK5949 _cEBK
999			_c35243 _d35243