Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2015]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9524 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | 1 Online Ressource (X, 261 Seiten) Illustrationen |
| ISBN: | 9783319284606 9783319284590 |
| DOI: | 10.1007/978-3-319-28460-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408655 | ||
| 003 | DE-604 | ||
| 005 | 20160531 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319284606 |c Online |9 978-3-319-28460-6 | ||
| 020 | |a 9783319284590 |c Print |9 978-3-319-28459-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-28460-6 |2 doi | |
| 035 | |a (OCoLC)936792060 | ||
| 035 | |a (DE-599)BVBBV043408655 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-Aug4 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-861 |a DE-860 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Theory and Applications of Formal Argumentation |b Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers |c Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (X, 261 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9524 |a Lecture notes in artificial intelligence | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Information storage and retrieval | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Information Storage and Retrieval | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Argumentation |0 (DE-588)4002899-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Buenos Aires |2 gnd-content | |
| 689 | 0 | 0 | |a Argumentation |0 (DE-588)4002899-9 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Black, Elizabeth |0 (DE-588)1048211207 |4 edt | |
| 700 | 1 | |a Modgil, Sanjay |0 (DE-588)102206780X |4 edt | |
| 700 | 1 | |a Oren, Nir |4 edt | |
| 711 | 2 | |a TAFA |n 3. |d 2015 |c Buenos Aires |0 (DE-588)108515940X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9524 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 9524 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-28460-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028827002 | ||
Datensatz im Suchindex
| _version_ | 1804175996944908288 |
|---|---|
| adam_text | THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE THIRD
INTERNATIONAL WORKSHOP ON THE THEORY AND APPLICATIONS OF FORMAL
ARGUMENTATION, TAFA 2015, HELD IN BUENOS AIRES, ARGENTINA, IN JULY 2015.
THE WORKSHOP WAS CO-LOCATED WITH IJCAI 2015. THE 15 REVISED FULL PAPERS
PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 25 SUBMISSIONS. THE
PAPERS DEAL WITH FORMAL THEORETICAL MODELS OF ARGUMENTATION AND
APPLICATION OF SUCH MODELS IN SUBFIELDS OF AI, EVALUATION OF MODELS,
BOTH THEORETICAL AND PRACTICAL, AND THEORIES AND APPLICATIONS DEVELOPED
THROUGH INTER-DISCIPLINARY COLLABORATION.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Black, Elizabeth Modgil, Sanjay Oren, Nir |
| author2_role | edt edt edt |
| author2_variant | e b eb s m sm n o no |
| author_GND | (DE-588)1048211207 (DE-588)102206780X |
| author_facet | Black, Elizabeth Modgil, Sanjay Oren, Nir |
| building | Verbundindex |
| bvnumber | BV043408655 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)936792060 (DE-599)BVBBV043408655 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-28460-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03052nmm a2200685zcb4500</leader><controlfield tag="001">BV043408655</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160531 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319284606</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-28460-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319284590</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-28459-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-28460-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936792060</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408655</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and Applications of Formal Argumentation</subfield><subfield code="b">Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers</subfield><subfield code="c">Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (X, 261 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9524</subfield><subfield code="a">Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information storage and retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Storage and Retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Buenos Aires</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Black, Elizabeth</subfield><subfield code="0">(DE-588)1048211207</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Modgil, Sanjay</subfield><subfield code="0">(DE-588)102206780X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oren, Nir</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAFA</subfield><subfield code="n">3.</subfield><subfield code="d">2015</subfield><subfield code="c">Buenos Aires</subfield><subfield code="0">(DE-588)108515940X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9524 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9524</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-28460-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028827002</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Buenos Aires gnd-content |
| genre_facet | Konferenzschrift 2015 Buenos Aires |
| id | DE-604.BV043408655 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:10Z |
| institution | BVB |
| institution_GND | (DE-588)108515940X |
| isbn | 9783319284606 9783319284590 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028827002 |
| oclc_num | 936792060 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-861 DE-860 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-861 DE-860 DE-355 DE-BY-UBR |
| physical | 1 Online Ressource (X, 261 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science Lecture notes in artificial intelligence |
| spelling | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.) [Cham] Springer [2015] © 2015 1 Online Ressource (X, 261 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9524 Lecture notes in artificial intelligence Computer science Computers Information storage and retrieval Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Argumentation (DE-588)4002899-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Buenos Aires gnd-content Argumentation (DE-588)4002899-9 s Formale Methode (DE-588)4333722-3 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Black, Elizabeth (DE-588)1048211207 edt Modgil, Sanjay (DE-588)102206780X edt Oren, Nir edt TAFA 3. 2015 Buenos Aires (DE-588)108515940X oth Lecture Notes in Computer Science 9524 : Lecture notes in artificial intelligence (DE-604)BV014880109 9524 https://doi.org/10.1007/978-3-319-28460-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers Lecture Notes in Computer Science Computer science Computers Information storage and retrieval Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd Formale Methode (DE-588)4333722-3 gnd Argumentation (DE-588)4002899-9 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4333722-3 (DE-588)4002899-9 (DE-588)1071861417 |
| title | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers |
| title_auth | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers |
| title_exact_search | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers |
| title_full | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.) |
| title_fullStr | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.) |
| title_full_unstemmed | Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers Elizabeth Black, Sanjay Modgil, Nir Oren (Eds.) |
| title_short | Theory and Applications of Formal Argumentation |
| title_sort | theory and applications of formal argumentation third international workshop tafa 2015 buenos aires argentina july 25 26 2015 revised selected papers |
| title_sub | Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers |
| topic | Computer science Computers Information storage and retrieval Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd Formale Methode (DE-588)4333722-3 gnd Argumentation (DE-588)4002899-9 gnd |
| topic_facet | Computer science Computers Information storage and retrieval Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Theory of Computation Information Systems Applications (incl. Internet) Information Storage and Retrieval Informatik Künstliche Intelligenz Formale Methode Argumentation Konferenzschrift 2015 Buenos Aires |
| url | https://doi.org/10.1007/978-3-319-28460-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028827002&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT blackelizabeth theoryandapplicationsofformalargumentationthirdinternationalworkshoptafa2015buenosairesargentinajuly25262015revisedselectedpapers AT modgilsanjay theoryandapplicationsofformalargumentationthirdinternationalworkshoptafa2015buenosairesargentinajuly25262015revisedselectedpapers AT orennir theoryandapplicationsofformalargumentationthirdinternationalworkshoptafa2015buenosairesargentinajuly25262015revisedselectedpapers AT tafabuenosaires theoryandapplicationsofformalargumentationthirdinternationalworkshoptafa2015buenosairesargentinajuly25262015revisedselectedpapers |