Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /
Saved in:
| Meeting name: | TAFA (Workshop) (4th : 2017 : Melbourne, Vic.) |
|---|---|
| Imprint: | Cham, Switzerland : Springer, 2018. |
| Description: | 1 online resource (x, 227 pages) : illustrations |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 10757 Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence Lecture notes in computer science ; 10757. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11543911 |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | 11543911 | ||
| 005 | 20210625184702.4 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 180315s2018 sz a o 101 0 eng d | ||
| 015 | |a GBB8N8930 |2 bnb | ||
| 016 | 7 | |a 019169508 |2 Uk | |
| 019 | |a 1029064212 |a 1033664377 |a 1048171759 |a 1048188661 |a 1048877005 |a 1049848197 |a 1051124283 |a 1059236013 |a 1066462137 |a 1081208533 |a 1082297252 |a 1083582911 |a 1086516706 | ||
| 020 | |a 9783319755533 |q (electronic bk.) | ||
| 020 | |a 3319755536 |q (electronic bk.) | ||
| 020 | |a 3319755528 | ||
| 020 | |a 9783319755526 | ||
| 020 | |z 9783319755526 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-319-75553-3 |2 doi | |
| 035 | |a (OCoLC)1028730835 |z (OCoLC)1029064212 |z (OCoLC)1033664377 |z (OCoLC)1048171759 |z (OCoLC)1048188661 |z (OCoLC)1048877005 |z (OCoLC)1049848197 |z (OCoLC)1051124283 |z (OCoLC)1059236013 |z (OCoLC)1066462137 |z (OCoLC)1081208533 |z (OCoLC)1082297252 |z (OCoLC)1083582911 |z (OCoLC)1086516706 | ||
| 035 | 9 | |a (OCLCCM-CC)1028730835 | |
| 037 | |a com.springer.onix.9783319755533 |b Springer Nature | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d AZU |d YDX |d OCLCF |d MERER |d COO |d UAB |d UPM |d OCLCO |d JG0 |d OCLCQ |d CRU |d OCLCQ |d VT2 |d U3W |d MUB |d CNCEN |d OCLCA |d EBLCP |d ESU |d WYU |d UWO |d OCLCQ |d LVT |d DKU |d UKMGB |d CAUOI |d BRX |d OCLCQ | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a QA76.9.F67 | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a TJFM1 |2 bicssc | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 072 | 7 | |a UYQ |2 thema | |
| 111 | 2 | |a TAFA (Workshop) |n (4th : |d 2017 : |c Melbourne, Vic.) |0 http://id.loc.gov/authorities/names/nb2018007054 | |
| 245 | 1 | 0 | |a Theory and applications of formal argumentation : |b 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers / |c Elizabeth Black, Sanjay Modgil, Nir Oren (eds.). |
| 246 | 3 | |a TAFA 2017 | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2018. | |
| 300 | |a 1 online resource (x, 227 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 10757 | |
| 490 | 1 | |a Lecture notes in artificial intelligence | |
| 490 | 1 | |a LNCS sublibrary. SL 7, Artificial intelligence | |
| 500 | |a Includes author index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed March 15, 2018). | |
| 520 | |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. | ||
| 505 | 0 | |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. | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
| 650 | 0 | |a Computer logic |v Congresses. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 7 | |a Computer programming |x software development. |2 bicssc | |
| 650 | 7 | |a Programming & scripting languages: general. |2 bicssc | |
| 650 | 7 | |a Maths for computer scientists. |2 bicssc | |
| 650 | 7 | |a Artificial intelligence. |2 bicssc | |
| 650 | 7 | |a Computers |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a Computers |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Computers |x Mathematical & Statistical Software. |2 bisacsh | |
| 650 | 7 | |a Computers |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Computer logic. |2 fast |0 (OCoLC)fst00872265 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 655 | 0 | |a Electronic books. | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Black, Elizabeth |c (Lecturer in Computer Science), |e editor. |0 http://id.loc.gov/authorities/names/nb2014006598 | |
| 700 | 1 | |a Modgil, Sanjay, |e editor. |0 http://id.loc.gov/authorities/names/nb2012010695 | |
| 700 | 1 | |a Oren, Nir, |e editor. |0 http://id.loc.gov/authorities/names/nb2012010696 | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319755526 |
| 830 | 0 | |a Lecture notes in computer science ; |v 10757. |x 0302-9743 |0 http://id.loc.gov/authorities/names/n42015162 | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 7, |p Artificial intelligence. |0 http://id.loc.gov/authorities/names/n2008077786 | |
| 903 | |a HeVa | ||
| 929 | |a oclccm | ||
| 999 | f | f | |i 0931ae7f-0c98-5f0d-a6a7-d6690dba22a3 |s db4b24a6-a7a7-56be-b99c-ce5f80ca8898 |
| 928 | |t Library of Congress classification |a QA76.9.F67 |l Online |c UC-FullText |u https://link.springer.com/10.1007/978-3-319-75553-3 |z Springer Nature |g ebooks |i 12552751 | ||