Efficient computation of argumentation semantics (Registro nro. 207033)

MARC details
000 -LÍDER
fixed length control field 05802cam a2200685Mi 4500
001 - NÚMERO DE CONTROL
control field u380112
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
control field SIRSI
005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN
control field 20160812084631.0
006 - ELEMENTOS DE LONGITUD FIJA - CARACTERÍSTICAS DE MATERIALES ADICIONALES - INFORMACIÓN GENERAL
fixed length control field m o d
007 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
fixed length control field cr cnu---unuuu
008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL
fixed length control field 140104s2014 enk ob 001 0 eng d
040 ## - FUENTE DE CATALOGACIÓN
Original cataloging agency EBLCP
Language of cataloging eng
Description conventions pn
Transcribing agency EBLCP
Modifying agency OPELS
-- NT
-- UMI
-- UIU
-- YDXCP
-- B24X7
-- COO
-- OCLCO
-- DEBBG
-- DEBSZ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCF
019 ## -
-- 870677102
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
International Standard Book Number 9780124104068
Qualifying information (electronic bk.)
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
International Standard Book Number 0124104061
Qualifying information (electronic bk.)
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
International Standard Book Number 9780124104518
Qualifying information (electronic bk.)
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
International Standard Book Number 0124104517
Qualifying information (electronic bk.)
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000053308407
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 404338402
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier DEBSZ
System control number 405353006
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier CHVBK
System control number 327777168
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier CHBIS
System control number 010295140
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier NLGGC
System control number 373105649
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Classification number P98
Item number .E384 2014
082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY
Classification number 006.3/5
049 ## - LOCAL HOLDINGS (OCLC)
Holding library TEFA
100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL
Personal name Liao, Beishui.
245 10 - MENCIÓN DE TITULO
Title Efficient computation of argumentation semantics
Medium [recurso electrónico] /
Statement of responsibility, etc. Beishui Liao.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Place of publication, distribution, etc. Oxford :
Name of publisher, distributor, etc. Academic Press,
Date of publication, distribution, etc. 2014.
300 ## - DESCRIPCIÓN FÍSICA
Extent 1 online resource (149 pages).
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - MENCIÓN DE SERIE
Series statement Intelligent systems series
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - NOTA DE CONTENIDO
Formatted contents note Half Title; Editorial Page; Title Page; Copyright; Contents; Preface; 1 Introduction; 1.1 Background; 1.2 The Notion of Argumentation; 1.3 Motivations of this Book; 1.4 The Structure of this Book; References; 2 Semantics of Argumentation; 2.1 Introduction; 2.2 Abstract Argumentation Frameworks; 2.3 Argumentation Semantics; 2.3.1 Extension-based Approach; 2.3.1.1 Admissible Extension; 2.3.1.2 Complete Extension; 2.3.1.3 Grounded Extension and Preferred Extension; 2.3.1.4 Stable Extension and Semi-Stable Extension; 2.3.1.5 Ideal Extension and Eager Extension; 2.3.2 Labelling-based Approach.
505 8# - NOTA DE CONTENIDO
Formatted contents note 2.3.2.1 Admissible Labelling2.3.2.2 Complete Labelling; 2.3.2.3 Grounded Labelling and Preferred Labelling; 2.3.2.4 Stable Labelling and Semi-Stable Labelling; 2.3.2.5 Ideal Labelling and Eager Labelling; 2.3.3 Relations Between the Two Approaches; 2.3.4 Relations Between Different Semantics; 2.3.5 Status of Arguments; 2.4 Conclusions; References; 3 Existing Approaches for Computing Argumentation Semantics; 3.1 Introduction; 3.2 Approaches Based on Answer Set Programming; 3.2.1 Answer Set Programming; 3.2.1.1 Syntax; 3.2.1.2 Answer Set Semantics; 3.2.2 ASP for Argumentation.
505 8# - NOTA DE CONTENIDO
Formatted contents note 3.3 Labelling-Based Algorithms3.3.1 The Computation of Grounded Labellings; 3.3.2 The Computation of Preferred Labellings; 3.3.2.1 Generating Admissible Labellings; 3.3.2.2 Generating Preferred Labellings; 3.4 Conclusions; References; 4 Sub-Frameworks and Local Semantics; 4.1 Introduction; 4.2 Notion of Sub-Frameworks; 4.2.1 Informal Idea; 4.2.2 Formal Definition; 4.2.3 Dependence Relation Between Different Sub-Frameworks; 4.3 Semantics of Sub-Frameworks; 4.3.1 Labellings of a Conditioned Sub-Framework; 4.3.2 Extensions of a Conditioned Sub-Framework.
505 8# - NOTA DE CONTENIDO
Formatted contents note 4.4 Computation of the Semantics of a Sub-Framework4.5 Conclusions; References; 5 Relations between Global Semantics and Local Semantics; 5.1 Introduction; 5.2 Mapping Global Semantics to Local Semantics; 5.3 Mapping Local Semantics to Global Semantics; 5.3.1 Combining Extensions of Two Unconditioned Sub-Frameworks; 5.3.2 Combining Extensions of a Conditioned Sub-Framework and Those of an Unconditioned Sub-Framework; 5.3.3 Combining Labellings of Two Conditioned Sub-Frameworks; 5.4 Conclusions; References; 6 An Approach for Static Argumentation Frameworks; 6.1 Introduction.
505 8# - NOTA DE CONTENIDO
Formatted contents note 6.2 Decomposing an Argumentation Framework: A Layered Approach6.2.1 Strongly Connected Components of an Argumentation Framework; 6.2.2 A Decomposition Approach Based on SCCs; 6.3 An Incremental Approach to Compute Argumentation Semantics; 6.3.1 The Computation of Layer i (); 6.3.1.1 Constructing Partially Labelled Sub-Frameworks in Layer i (); 6.3.1.2 Computing the Labellings of Each Sub-Framework in Layer i (); 6.3.1.3 Horizontally Combining the Labellings of Layer i (); 6.3.1.4 Vertically Combining the Labellings of Layers from 0 to i ().
500 ## - NOTA GENERAL
General note Includes index.
520 ## - NOTA DE RESUMEN, ETC.
Summary, etc. Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as more generic intelligent computation research. The Series in Intelligent Systems publishes titles that cover state-of-the-art knowledge and the latest advances in research and development.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Bibliography, etc Includes bibliographical references and index.
596 ## -
-- 19
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Semantic computing.
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Artificial intelligence.
650 #4 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Artificial intelligence.
650 #4 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Semantic computing.
650 #4 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Semantics.
650 #7 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element COMPUTERS
General subdivision General.
Source of heading or term bisacsh
650 #7 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Artificial intelligence.
Source of heading or term fast
Authority record control number (OCoLC)fst00817247
650 #7 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO
Topical term or geographic name as entry element Semantic computing.
Source of heading or term fast
Authority record control number (OCoLC)fst01748947
655 #4 -
-- Electronic books.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Liao, Beishui.
Title Efficient Computation of Argumentation Semantics.
Place, publisher, and date of publication Burlington : Elsevier Science, 2014
International Standard Book Number 9780124104068
830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME
Uniform title Intelligent systems series.
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Public note Libro electrónico
Materials specified ScienceDirect
Uniform Resource Identifier <a href="http://148.231.10.114:2048/login?url=http://www.sciencedirect.com/science/book/9780124104068">http://148.231.10.114:2048/login?url=http://www.sciencedirect.com/science/book/9780124104068</a>
942 ## - TIPO DE MATERIAL (KOHA)
Koha item type Libro Electrónico
Existencias
Estado de retiro Fuente de clasificación Colección Ubicación permanente Ubicación actual Fecha de ingreso Total Checkouts Signatura topográfica Código de barras Date last seen Número de copia Tipo de material
    Colección de Libros Electrónicos Biblioteca Electrónica Biblioteca Electrónica     P98 .E384 2014 380112-2001 12/08/2016 1 Libro Electrónico

Con tecnología Koha