omitir hasta el contenido
A general framework for reasoning on inconsistency Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

A general framework for reasoning on inconsistency

Autor: Maria Vanina Martinez
Editorial: New York, NY : Springer, ©2013.
Serie: SpringerBriefs in computer science.
Edición/Formato:   Libro-e : Documento : Inglés (eng)Ver todas las ediciones y todos los formatos
Resumen:
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  Leer más
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: Electronic books
Formato físico adicional: Printed edition:
Tipo de material: Documento, Recurso en Internet
Tipo de documento Recurso internet, Archivo de computadora
Todos autores / colaboradores: Maria Vanina Martinez
ISBN: 9781461467502 1461467500 1461467497 9781461467496
Número OCLC: 834507582
Nota del idioma: English.
Descripción: 1 online resource.
Contenido: Introduction and Preliminary Concepts --
A General Framework for Handling Inconsistency --
Algorithms --
Handling Inconsistency in Monotonic Logics --
Link with Existing Approaches --
Conclusions.
Título de la serie: SpringerBriefs in computer science.
Responsabilidad: Maria Vanina Martinez [and others].

Resumen:

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.  Leer más

Reseñas

Reseñas editoriales

Resumen de la editorial

From the reviews:"The aim of this book, consisting of six chapters, is to develop a unified framework for reasoning on inconsistency which allows end-users to apply their domain knowledge and Leer más

 
Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/834507582> # A general framework for reasoning on inconsistency
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "834507582" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1351675640#Place/new_york_ny> ; # New York, NY
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/inconsistency_logic> ; # Inconsistency (Logic)
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/data_mining> ; # Data mining.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Topic/logic> ; # Logic
    schema:about <http://dewey.info/class/005.101/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1351675640#Thing/database_management> ; # Database management.
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/302556869> ; # Maria Vanina Martinez
    schema:copyrightYear "2013" ;
    schema:datePublished "2013" ;
    schema:description "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, 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1351675640> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/2191-5768> ; # SpringerBriefs in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1351675640#Series/springerbriefs_in_computer_science> ; # SpringerBriefs in computer science.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1351675640#CreativeWork/> ;
    schema:name "A general framework for reasoning on inconsistency"@en ;
    schema:productID "834507582" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/834507582#PublicationEvent/new_york_ny_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1351675640#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10936109> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4614-6750-2> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4614-6749-6> ;
    schema:url <http://link.springer.com/10.1007/978-1-4614-6750-2> ;
    schema:url <http://www.myilibrary.com?id=508141> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4614-6750-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4614-6749-6> ;
    schema:workExample <http://worldcat.org/isbn/9781461467496> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4614-6750-2> ;
    schema:workExample <http://worldcat.org/isbn/9781461467502> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/834507582> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1351675640#Series/springerbriefs_in_computer_science> # SpringerBriefs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    schema:name "SpringerBriefs in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/database_management> # Database management.
    a schema:Thing ;
    schema:name "Database management." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    schema:name "Artificial Intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1351675640#Topic/inconsistency_logic> # Inconsistency (Logic)
    a schema:Intangible ;
    schema:name "Inconsistency (Logic)"@en ;
    .

<http://viaf.org/viaf/302556869> # Maria Vanina Martinez
    a schema:Person ;
    schema:familyName "Martinez" ;
    schema:givenName "Maria Vanina" ;
    schema:name "Maria Vanina Martinez" ;
    .

<http://worldcat.org/entity/work/data/1351675640#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    .

<http://worldcat.org/isbn/9781461467496>
    a schema:ProductModel ;
    schema:isbn "1461467497" ;
    schema:isbn "9781461467496" ;
    .

<http://worldcat.org/isbn/9781461467502>
    a schema:ProductModel ;
    schema:isbn "1461467500" ;
    schema:isbn "9781461467502" ;
    .

<http://worldcat.org/issn/2191-5768> # SpringerBriefs in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/834507582> ; # A general framework for reasoning on inconsistency
    schema:issn "2191-5768" ;
    schema:name "SpringerBriefs in computer science," ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.