skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers Preview this item
ClosePreview this item
Checking...

Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers

Author: Elizabeth Black, (Lecturer in Computer Science); Sanjay Modgil; Nir Oren
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10757.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence (IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Elizabeth Black, (Lecturer in Computer Science); Sanjay Modgil; Nir Oren
ISBN: 9783319755533 3319755536 3319755528 9783319755526
OCLC Number: 1028730835
Notes: Includes author index.
Description: 1 online resource (x, 227 pages) : illustrations
Contents: An Investigation of Argumentation Framework Characteristics.- Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM.- On the Interaction between Logic and Preference in StructuredArgumentation.- ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.- On the links between argumentation-based reasoning and nonmonotonic reasoning.- Extended Explanatory Argumentation Frameworks.- Probabilities on Extensions in Abstract Argumentation.- A Forward Propagation Algorithm for Semantic Computation of Argumentation Frameworks.- The Formal Argumentation Libraries of Tweety.- Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.- EqArgSolver --
System Description.- Team Persuasion.- Towards a General Framework for Dialogues that Accommodate Reasoning About Preferences.- Enumerating preferred extensions: A case study of human reasoning.- A Dynamic Model of Trust in Dialogues.
Series Title: Lecture notes in computer science, 10757.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: TAFA 2017
Responsibility: Elizabeth Black, Sanjay Modgil, Nir Oren (eds.).

Abstract:

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:MediaObject<\/a>, schema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1028730835<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computer_programming_software_development<\/a>> ; # Computer programming--software development<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/maths_for_computer_scientists<\/a>> ; # Maths for computer scientists<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/artificial_intelligence<\/a>> ; # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_programming_general<\/a>> ; # Computers--Programming--General<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_programming_languages_general<\/a>> ; # Computers--Programming Languages--General<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computer_logic<\/a>> ; # Computer logic<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/formal_methods_computer_science<\/a>> ; # Formal methods (Computer science)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_intelligence_ai_&_semantics<\/a>> ; # Computers--Intelligence (AI) & Semantics<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_mathematical_&_statistical_software<\/a>> ; # Computers--Mathematical & Statistical Software<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/006.3\/e23\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/programming_&_scripting_languages_general<\/a>> ; # Programming & scripting languages: general<\/span>\n\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"TAFA 2017<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Meeting\/tafa_workshop_4th_2017_melbourne_vic<\/a>> ; # TAFA (Workshop) (4th : 2017 : Melbourne, Vic.)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"An Investigation of Argumentation Framework Characteristics.- Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM.- On the Interaction between Logic and Preference in StructuredArgumentation.- ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.- On the links between argumentation-based reasoning and nonmonotonic reasoning.- Extended Explanatory Argumentation Frameworks.- Probabilities on Extensions in Abstract Argumentation.- A Forward Propagation Algorithm for Semantic Computation of Argumentation Frameworks.- The Formal Argumentation Libraries of Tweety.- Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.- EqArgSolver -- System Description.- Team Persuasion.- Towards a General Framework for Dialogues that Accommodate Reasoning About Preferences.- Enumerating preferred extensions: A case study of human reasoning.- A Dynamic Model of Trust in Dialogues.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence (IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/black_elizabeth_lecturer_in_computer_science<\/a>> ; # (Lecturer in Computer Science) Elizabeth Black<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/modgil_sanjay<\/a>> ; # Sanjay Modgil<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/oren_nir<\/a>> ; # Nir Oren<\/span>\n\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/4162742941<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/worldcat.org\/issn\/0302-9743<\/a>> ; # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lncs_sublibrary_sl_7_artificial_intelligence<\/a>> ; # LNCS sublibrary. SL 7, Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science.<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lecture_notes_in_artificial_intelligence<\/a>> ; # Lecture notes in artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lncs_sublibrary<\/a>> ; # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/4162742941#CreativeWork\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1028730835<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/978-3-319-75553-3<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/link.springer.com\/book\/10.1007\/978-3-319-75552-6<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/public.ebookcentral.proquest.com\/choice\/publicfullrecord.aspx?p=5577012<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/link.springer.com\/book\/10.1007\/978-3-319-75553-3<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/dx.doi.org\/10.1007\/978-3-319-75553-3<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783319755533<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783319755526<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBB8N8930<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1028730835<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/006.3\/e23\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dx.doi.org\/10.1007\/978-3-319-75553-3<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Meeting\/tafa_workshop_4th_2017_melbourne_vic<\/a>> # TAFA (Workshop) (4th : 2017 : Melbourne, Vic.)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Place\/melbourne_vic<\/a>> ; # Melbourne, Vic.)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"TAFA (Workshop) (4th : 2017 : Melbourne, Vic.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/black_elizabeth_lecturer_in_computer_science<\/a>> # (Lecturer in Computer Science) Elizabeth Black<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Black<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Elizabeth<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"(Lecturer in Computer Science) Elizabeth Black<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/modgil_sanjay<\/a>> # Sanjay Modgil<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Modgil<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Sanjay<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Sanjay Modgil<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Person\/oren_nir<\/a>> # Nir Oren<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Oren<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Nir<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Nir Oren<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Place\/melbourne_vic<\/a>> # Melbourne, Vic.)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Melbourne, Vic.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lecture_notes_in_artificial_intelligence<\/a>> # Lecture notes in artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in artificial intelligence<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lncs_sublibrary<\/a>> # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Series\/lncs_sublibrary_sl_7_artificial_intelligence<\/a>> # LNCS sublibrary. SL 7, Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary. SL 7, Artificial intelligence<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/artificial_intelligence<\/a>> # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Artificial intelligence<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computer_logic<\/a>> # Computer logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computer_programming_software_development<\/a>> # Computer programming--software development<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer programming--software development<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_intelligence_ai_&_semantics<\/a>> # Computers--Intelligence (AI) & Semantics<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computers--Intelligence (AI) & Semantics<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_mathematical_&_statistical_software<\/a>> # Computers--Mathematical & Statistical Software<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computers--Mathematical & Statistical Software<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_programming_general<\/a>> # Computers--Programming--General<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computers--Programming--General<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/computers_programming_languages_general<\/a>> # Computers--Programming Languages--General<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computers--Programming Languages--General<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/formal_methods_computer_science<\/a>> # Formal methods (Computer science)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal methods (Computer science)<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/maths_for_computer_scientists<\/a>> # Maths for computer scientists<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Maths for computer scientists<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/4162742941#Topic\/programming_&_scripting_languages_general<\/a>> # Programming & scripting languages: general<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programming & scripting languages: general<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"sz<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/4162742941#CreativeWork\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Printed edition:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783319755526<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3319755528<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783319755526<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783319755533<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3319755536<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783319755533<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/0302-9743<\/a>> # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:issn<\/a> \"0302-9743<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ;<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science,<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1028730835<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1028730835<\/a>> ; # Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-02-20<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n