Search dblp for Publications

export results for "toc:db/conf/tafa/tafa2017.bht:"

 download as .bib file

@proceedings{DBLP:conf/tafa/2017,
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75553-3},
  doi          = {10.1007/978-3-319-75553-3},
  isbn         = {978-3-319-75552-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/BorgAS17,
  author       = {Annemarie Borg and
                  Ofer Arieli and
                  Christian Stra{\ss}er},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Hypersequent-Based Argumentation: An Instantiation in the Relevance
                  Logic {RM}},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_2},
  doi          = {10.1007/978-3-319-75553-3\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/BorgAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/DauphinC17,
  author       = {J{\'{e}}r{\'{e}}mie Dauphin and
                  Marcos Cramer},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {{ASPIC-END:} Structured Argumentation with Explanations and Natural
                  Deduction},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_4},
  doi          = {10.1007/978-3-319-75553-3\_4},
  timestamp    = {Sat, 17 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/DauphinC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/DauphinC17a,
  author       = {J{\'{e}}r{\'{e}}mie Dauphin and
                  Marcos Cramer},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Extended Explanatory Argumentation Frameworks},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_6},
  doi          = {10.1007/978-3-319-75553-3\_6},
  timestamp    = {Sat, 17 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/DauphinC17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/GeilenT17,
  author       = {Nils Geilen and
                  Matthias Thimm},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Heureka: {A} General Heuristic Backtracking Solver for Abstract Argumentation},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {143--149},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_10},
  doi          = {10.1007/978-3-319-75553-3\_10},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/GeilenT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/LiOP17,
  author       = {Zimi Li and
                  Nir Oren and
                  Simon Parsons},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {On the Links Between Argumentation-Based Reasoning and Nonmonotonic
                  Reasoning},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {67--85},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_5},
  doi          = {10.1007/978-3-319-75553-3\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/LiOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/MarzagaoMYGLMB17,
  author       = {David Kohan Marzag{\~{a}}o and
                  Josh Murphy and
                  Anthony P. Young and
                  Marcelo Matheus Gauy and
                  Michael Luck and
                  Peter McBurney and
                  Elizabeth Black},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Team Persuasion},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {159--174},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_12},
  doi          = {10.1007/978-3-319-75553-3\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/MarzagaoMYGLMB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/Modgil17,
  author       = {Sanjay Modgil},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Towards a General Framework for Dialogues That Accommodate Reasoning
                  About Preferences},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {175--191},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_13},
  doi          = {10.1007/978-3-319-75553-3\_13},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/Modgil17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/MurphySLB17,
  author       = {Josh Murphy and
                  Isabel Sassoon and
                  Michael Luck and
                  Elizabeth Black},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {An Investigation of Argumentation Framework Characteristics},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_1},
  doi          = {10.1007/978-3-319-75553-3\_1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/MurphySLB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/OgunniyeTO17,
  author       = {Gideon Ogunniye and
                  Alice Toniolo and
                  Nir Oren},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {A Dynamic Model of Trust in Dialogues},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {211--226},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_15},
  doi          = {10.1007/978-3-319-75553-3\_15},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/OgunniyeTO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/Rodrigues17,
  author       = {Odinaldo Rodrigues},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {A Forward Propagation Algorithm for the Computation of the Semantics
                  of Argumentation Frameworks},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {120--136},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_8},
  doi          = {10.1007/978-3-319-75553-3\_8},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/Rodrigues17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/Rodrigues17a,
  author       = {Odinaldo Rodrigues},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {EqArgSolver - System Description},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {150--158},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_11},
  doi          = {10.1007/978-3-319-75553-3\_11},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/Rodrigues17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/Thimm17,
  author       = {Matthias Thimm},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {The Formal Argumentation Libraries of Tweety},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {137--142},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_9},
  doi          = {10.1007/978-3-319-75553-3\_9},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/Thimm17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/ThimmBGV17,
  author       = {Matthias Thimm and
                  Pietro Baroni and
                  Massimiliano Giacomin and
                  Paolo Vicig},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Probabilities on Extensions in Abstract Argumentation},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {102--119},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_7},
  doi          = {10.1007/978-3-319-75553-3\_7},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tafa/ThimmBGV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/TonioloNO17,
  author       = {Alice Toniolo and
                  Timothy J. Norman and
                  Nir Oren},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {Enumerating Preferred Extensions: {A} Case Study of Human Reasoning},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {192--210},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_14},
  doi          = {10.1007/978-3-319-75553-3\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/TonioloNO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tafa/YoungMR17,
  author       = {Anthony P. Young and
                  Sanjay Modgil and
                  Odinaldo Rodrigues},
  editor       = {Elizabeth Black and
                  Sanjay Modgil and
                  Nir Oren},
  title        = {On the Interaction Between Logic and Preference in Structured Argumentation},
  booktitle    = {Theory and Applications of Formal Argumentation - 4th International
                  Workshop, {TAFA} 2017, Melbourne, VIC, Australia, August 19-20, 2017,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10757},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-75553-3\_3},
  doi          = {10.1007/978-3-319-75553-3\_3},
  timestamp    = {Sat, 17 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tafa/YoungMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.