MARC details
000 -LEADER |
fixed length control field |
08442cam a2200853 a 4500 |
001 - CONTROL NUMBER |
control field |
ocn812179149 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220711182523.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
121008s2012 ne ob 101 0 eng d |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
IOSPR |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
IOSPR |
Modifying agency |
IOSPR |
-- |
N$T |
-- |
YDXCP |
-- |
EBLCP |
-- |
OCLCQ |
-- |
E7B |
-- |
IDEBK |
-- |
OCLCF |
-- |
OCLCQ |
-- |
DEBSZ |
-- |
OCLCQ |
-- |
OCLCO |
-- |
OCL |
-- |
OCLCQ |
-- |
AZK |
-- |
AGLDB |
-- |
OCLCQ |
-- |
MOR |
-- |
PIFAG |
-- |
OCLCQ |
-- |
MERUC |
-- |
OCLCQ |
-- |
ZCU |
-- |
U3W |
-- |
STF |
-- |
WRM |
-- |
VTS |
-- |
NRAMU |
-- |
ICG |
-- |
INT |
-- |
VT2 |
-- |
AU@ |
-- |
JBG |
-- |
OCLCQ |
-- |
WYU |
-- |
TKN |
-- |
OCLCQ |
-- |
DKC |
-- |
OCLCQ |
-- |
M8D |
-- |
OCL |
-- |
OCLCQ |
-- |
AJS |
-- |
OCLCQ |
-- |
OCLCO |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
016222511 |
Source |
Uk |
019 ## - |
-- |
961490696 |
-- |
962640229 |
-- |
1055365373 |
-- |
1065650534 |
-- |
1081215698 |
-- |
1228580699 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781614991113 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1614991111 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781614991106 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1614991103 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000050608230 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000053012444 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV042961038 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV044168624 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
42375758X |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
43124023X |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
15196493 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)812179149 |
Canceled/invalid control number |
(OCoLC)961490696 |
-- |
(OCoLC)962640229 |
-- |
(OCoLC)1055365373 |
-- |
(OCoLC)1065650534 |
-- |
(OCoLC)1081215698 |
-- |
(OCoLC)1228580699 |
037 ## - SOURCE OF ACQUISITION |
Stock number |
9781614991113 |
Source of stock number/acquisition |
IOS Press |
Note |
http://www.iospress.nl |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q334 |
Item number |
.C66 2012 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
004000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
005030 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
006.3 |
Edition number |
23 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
111 2# - MAIN ENTRY--MEETING NAME |
Meeting name or jurisdiction name as entry element |
COMMA 2012 |
Date of meeting |
(2012 : |
Location of meeting |
Vienna, Austria) |
9 (RLIN) |
899659 |
245 10 - TITLE STATEMENT |
Title |
Computational models of argument : |
Remainder of title |
Proceedings of COMMA 2012 / |
Statement of responsibility, etc |
edited by Bart Verheij, Stefan Szeider and Stefan Woltran. |
246 3# - VARYING FORM OF TITLE |
Title proper/short title |
COMMA 2012 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Amsterdam ; |
-- |
Washington, D.C. : |
Name of publisher, distributor, etc |
IOS Press, |
Date of publication, distribution, etc |
2012. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
data file |
490 1# - SERIES STATEMENT |
Series statement |
Frontiers in artificial intelligence and applications ; |
Volume number/sequential designation |
v. 245 |
500 ## - GENERAL NOTE |
General note |
International conference proceedings. |
500 ## - GENERAL NOTE |
General note |
Includes author index. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and author index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Machine generated contents note: pt. I Invited Talks -- The Long and Winding Road: Forty Years of Argumentation / Trevor Bench-Capon -- Formal Dialectic: From Aristotle to Pragma-Dialectics, and Beyond / Erik C.W. Krabbe -- Multiple Logics Within Argument: Liow Defeasible and Classical Reasoning Work Together / Keith Stenning -- pt. II Innovative Applications -- Some Facets of Argument Mining for Opinion Analysis / Patrick Saint-Dizier -- An Inquiry Learning Environment for Scientific Argumentation / Nancy L. Green -- Semi-Automated Argumentative Analysis of Online Product Reviews / Trevor Bench-Capon -- Arguing with Preferences in EcoBioCap / Nir Oren -- An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases / Chris Reed -- Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats / Ann Macintosh -- Towards an Argument-Based Music Recommender System / Guillermo R. Simari. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Note continued: Arguing About Firewall Policy / Simon Parsons -- pt. III Regular Papers -- A General QBF-Based Formalization of Abstract Argumentation Theory / Martin W.A. Caminada -- Some Foundations for Probabilistic Abstract Argumentation / Anthony Hunter -- Argument Aggregation: Basic Axioms and Complexity Results / Michael Wooldridge -- The Equational Approach to CF2 Semantics / Dov M. Gabbay -- Argumentation Games for Admissibility and Cogency Criteria / Guillermo R. Simari -- Uniform Argumentation Frameworks / Paul E. Dunne -- Dishonest Arguments in Debate Games / Chiaki Sakama -- On the Use of Presumptions in Structured Defeasible Reasoning / Guillermo R. Simari -- Automated Deployment of Argumentation Protocols / Michael Rovatsos -- On Preferred Extension Enumeration in Abstract Argumentation / Katie Atkinson -- Towards Experimental Algorithms for Abstract Argumentation / Katie Atkinson. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Note continued: A Dialogue Game for Coalition Structure Generation with Self-Interested Agents / Terry R. Payne -- Complexity of Logic-Based Argumentation in Schaefer's Framework / Johannes Schmidt -- Argumentation Dialogues for Two-Agent Conflict Resolution / Francesca Toni -- Comparing the Expressiveness of Argumentation Semantics / Christof Spanring -- Computational Aspects of cf2 and stage2 Argumentation Semantics / Sarah Alice Gaggl -- Tactics and Concessions for Argumentation-Based Negotiation / Pavlos Moraitis -- Default Reasoning About Actions via Abstract Argumentation / Hannes Strass -- Resolutions in Structured Argumentation / Henry Prakken -- Mechanism Design for Argumentation-Based Persuasion / Francesca Toni -- Persuasion Strategies for Argumentation About Plans / Trevor Bench-Capon -- Selecting Extensions in Weighted Argumentation Frameworks / Mohand Akli Ouali -- Group Persuasion Through Uncertain Audience Modelling / Hengfei Li. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Note continued: On Input/Output Argumentation Frameworks / Serena Villata -- Dialogue Templates for Automatic Argument Processing / Chris Reed -- Valued-Based Argumentation for Tree-Like Value Graphs / Sebastian Ordyniak -- Interchanging Arguments Between Carneades and AIF / Chris Reed -- Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games / N.D. Hung -- The Structure of Ad Hominem Dialogues / Chris Reed -- Towards Argumentation About Subjective Probabilities / Jeroen Keppens -- Argument Schemes for Reasoning About Trust / Elizabeth Sklar -- Clarifying Some Misconceptions on the ASPIC? Framework / Sanjay Modgil -- Generating Abstract Arguments: A Natural Language Approach / Serena Villata -- Towards Argumentation with Symbolic Dempster-Shafer Evidence / Munindar Singh -- Conditional Acceptance Functions / Leendert van der Torre -- Grounded Semantics as Persuasion Dialogue / Mikolaj Podlaszewski. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Note continued: Picking the Right Expert to Make a Debate Uncontroversial / Pavlos Moraitis -- pt. IV Demonstrations -- The Synergy: A Platform for Argumentation-Based Group Decision Making / Andrii Rubtsov -- Critiquing Justifications for Action Using a Semantic Model: Demonstration / Trevor Bench-Capon -- Evaluating Abstract Dialectical Frameworks with ASP / Johannes Peter Wallner -- dynPARTIX 2.0 -- Dynamic Programming Argumentation Reasoning Tool / Wolfgang Dvorak -- TOAST: Online ASPIC+ Implementation / Chris Reed -- Implementing ArguBlogging / Chris Reed -- Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina / Chris Reed -- AIFdb: Infrastructure for the Argument Web / Mark Snaith -- The Cameades Web Service / Thomas F. Gordon -- Argumentation-Based Reinforcement Learning for RoboCup Keepaway / Robert Craven. |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial intelligence |
General subdivision |
Computer simulation |
Form subdivision |
Congresses. |
9 (RLIN) |
321902 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Reasoning |
General subdivision |
Computer simulation |
Form subdivision |
Congresses. |
9 (RLIN) |
321903 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Intelligence artificielle |
General subdivision |
Simulation par ordinateur |
Form subdivision |
Congrès. |
9 (RLIN) |
899660 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Enterprise Applications |
-- |
Business Intelligence Tools. |
Source of heading or term |
bisacsh |
9 (RLIN) |
854194 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Intelligence (AI) & Semantics. |
Source of heading or term |
bisacsh |
9 (RLIN) |
855104 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial intelligence |
General subdivision |
Computer simulation. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00817253 |
9 (RLIN) |
899661 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Reasoning |
General subdivision |
Computer simulation. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01091285 |
9 (RLIN) |
899662 |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Conference papers and proceedings. |
Source of term |
fast |
-- |
(OCoLC)fst01423772 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Verheij, Bart. |
9 (RLIN) |
321904 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Szeider, Stefan. |
9 (RLIN) |
321905 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Woltran, Stefan. |
9 (RLIN) |
899663 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
IOS Press. |
9 (RLIN) |
332468 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
COMMA 2012 (2012 : Vienna, Austria). |
Title |
Computational models of argument. |
Place, publisher, and date of publication |
Amsterdam ; Washington, D.C. : IOS Press, 2012 |
Record control number |
(DLC) 2012945580 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Frontiers in artificial intelligence and applications ; |
Volume number/sequential designation |
v. 245. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=489960</a> |
938 ## - |
-- |
EBL - Ebook Library |
-- |
EBLB |
-- |
EBL1035231 |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10607571 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
489960 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
cis25073276 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
9781958 |
994 ## - |
-- |
92 |
-- |
INOPJ |