東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

A General framework for reasoning on...

Martinez, Maria Vanina.

FindBook

Google Book

Amazon

博客來

A General framework for reasoning on inconsistency /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	A General framework for reasoning on inconsistency // Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud.
其他作者:	Martinez, Maria Vanina.
出版者:	New York, NY :Springer, : c2013. ,
面頁冊數:	vii, 45 p. :ill ;24 cm.
標題:	Computer logic. -
電子資源:	http://rave.ohiolink.edu/ebooks/ebc/9781461467502Connect to resource
電子資源:	http://dx.doi.org/10.1007/978-1-4614-6750-2Connect to 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)