東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

A General framework for reasoning on...

Martinez, Maria Vanina.

Linked to FindBook

Google Book

Amazon

博客來

A General framework for reasoning on inconsistency /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	A General framework for reasoning on inconsistency // Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud.
other author:	Martinez, Maria Vanina.
Published:	New York, NY :Springer, : c2013. ,
Description:	vii, 45 p. :ill ;24 cm.
Subject:	Computer logic. -
Online resource:	http://rave.ohiolink.edu/ebooks/ebc/9781461467502Connect to resource
Online resource:	http://dx.doi.org/10.1007/978-1-4614-6750-2Connect to resource
Online resource:	http://proxy.ohiolink.edu:9099/login?url=http://dx.doi.org/10.1007/978-1-4614-6750-2Connect to resource (off-campus access)
ISBN:	9781461467496 (pbk.) :
ISSN:	21915768

A General framework for reasoning on inconsistency /
A General framework for reasoning on inconsistency /Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. - New York, NY :Springer,c2013. - vii, 45 p. :ill ;24 cm. - SpringerBriefs in computer science,2191-5768 . - SpringerBriefs in computer science. .

Includes bibliographical references and index.

Introduction and preliminary concepts --

This 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, andprovides 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

ISBN: 9781461467496 (pbk.) :EUR39.99

ISSN: 21915768Subjects--Topical Terms:

2012635
Computer logic.

LC Class. No.: TK7868.L6 / G46 2013

Dewey Class. No.: 005.101

A General framework for reasoning on inconsistency /
LDR:02222cam a2200289Ka 450 001 1875285
005 20131223133728.0
008 130828s2013 nyu b 001 0 eng d
020 $a 9781461467496 (pbk.) : $c EUR39.99
020 $a 1461467497 (pbk.)
020 $a 9781461467502 (ebk.)
020 $a 1461467500 (ebk.)
022 $a 21915768
022 $a 21915776 (ebk.)
035 $a AS-BW-102-N-03
040 $a GW5XE $c GW5XE $d YDXCP $d VMC $d ZMC $d COO $d UtOrBLW
050 # 4 $a TK7868.L6 $b G46 2013
082 0 4 $a 005.101 $2 23
245 1 0 $a A General framework for reasoning on inconsistency / $c Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud.
260 # $a New York, NY : $b Springer, $c c2013.
300 $a vii, 45 p. : $b ill ; $c 24 cm.
490 1 0 $a SpringerBriefs in computer science, $x 2191-5768
504 $a Includes bibliographical references and index.
505 0 # $t Introduction and preliminary concepts -- $t A general framework for handling inconsistency -- $t Algorithms -- $t Handling inconsistency in monotonic logics -- $t Link with existing approaches -- $t Conclusions.
520 # $a This 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, andprovides 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 $a Computer logic. $3 2012635
650 # 0 $a Inconsistency (Logic) $3 2012636
650 # 0 $a Logic design. $3 2012637
700 1 # $a Martinez, Maria Vanina. $3 2012632
710 2 # $a Ohio Library and Information Network. $3 2012633
830 0 $a SpringerBriefs in computer science. $3 2012634
856 4 0 $3 OhioLINK $u http://rave.ohiolink.edu/ebooks/ebc/9781461467502 $z Connect to resource
856 4 0 $3 SpringerLink $u http://dx.doi.org/10.1007/978-1-4614-6750-2 $z Connect to resource
856 4 0 $3 SpringerLink $u http://proxy.ohiolink.edu:9099/login?url=http://dx.doi.org/10.1007/978-1-4614-6750-2 $z Connect to resource (off-campus access)