| 000 | 02673nam a22004095i 4500 | ||
|---|---|---|---|
| 001 | 290085 | ||
| 003 | MX-SnUAN | ||
| 005 | 20170705134220.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2013 xxu| o |||| 0|eng d | ||
| 020 |
_a9781461467502 _99781461467502 |
||
| 024 | 7 |
_a10.1007/9781461467502 _2doi |
|
| 035 | _avtls000341994 | ||
| 039 | 9 |
_a201509030343 _bVLOAD _c201405050237 _dVLOAD _y201402061115 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQ334-342 | |
| 100 | 1 |
_aMartinez, Maria Vanina. _eautor _9320625 |
|
| 245 | 1 | 2 |
_aA General Framework for Reasoning On Inconsistency / _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áginas _brecurso en línea. |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 490 | 0 |
_aSpringerBriefs in Computer Science, _x2191-5768 |
|
| 500 | _aSpringer eBooks | ||
| 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. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 700 | 1 |
_aMolinaro, Cristian. _eautor _9320626 |
|
| 700 | 1 |
_aSubrahmanian, V.S. _eautor _9317814 |
|
| 700 | 1 |
_aAmgoud, Leila. _eautor _9320627 |
|
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9781461467496 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4614-6750-2 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c290085 _d290085 |
||