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 |