000			02994nam a22005775i 4500
001			978-1-4614-6750-2
003			DE-He213
005			20201213200603.0
007			cr nn 008mamaa
008			130321s2013 xxu| s |||| 0|eng d
020			_a9781461467502 _9978-1-4614-6750-2
024	7		_a10.1007/978-1-4614-6750-2 _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		_aMartinez, Maria Vanina. _eauthor.
245	1	2	_aA General Framework for Reasoning On Inconsistency _h[electronic resource] / _cby Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud.
264		1	_aNew York, NY : _bSpringer New York : _bImprint: Springer, _c2013.
300			_aVII, 45 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aSpringerBriefs in Computer Science, _x2191-5768
505	0		_aIntroduction and Preliminary Concepts -- A General Framework for Handling Inconsistency -- Algorithms -- Handling Inconsistency in Monotonic Logics -- Link with Existing Approaches -- Conclusions.
520			_aThis SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied.  The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple ways to do so. This empowers users to resolve inconsistency in data leveraging both their detailed knowledge of the data as well as their application needs. The brief shows that the framework is well-suited to handle inconsistency in several logics, and provides algorithms to compute preferred options. Finally, the brief shows that the framework not only captures several existing works, but also supports reasoning about inconsistency in several logics for which no such methods exist today.
650		0	_aComputer science.
650		0	_aLogic design.
650		0	_aDatabase management.
650		0	_aData mining.
650		0	_aArtificial intelligence.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aDatabase Management.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aData Mining and Knowledge Discovery.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aMolinaro, Cristian. _eauthor.
700	1		_aSubrahmanian, V.S. _eauthor.
700	1		_aAmgoud, Leila. _eauthor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9781461467496
830		0	_aSpringerBriefs in Computer Science, _x2191-5768
856	4	0	_uhttp://dx.doi.org/10.1007/978-1-4614-6750-2
912			_aZDB-2-SCS
950			_aComputer Science (Springer-11645)
999			_c12982 _d12982