Advanced search
1 file | 84.28 KB Add to list

Dynamic derivations for sequent-based logical argumentation

Author
Organization
Abstract
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.
Keywords
logical argumentation, sequent calculi, dynamic derivations

Downloads

  • comma14-b.pdf
    • full text (Accepted manuscript)
    • |
    • open access
    • |
    • PDF
    • |
    • 84.28 KB

Citation

Please use this url to cite or link to this publication:

MLA
Arieli, Ofer, and Christian Strasser. “Dynamic Derivations for Sequent-Based Logical Argumentation.” COMPUTATIONAL MODELS OF ARGUMENT, vol. 266, Ios Press, 2014, pp. 89–100, doi:10.3233/978-1-61499-436-7-89.
APA
Arieli, O., & Strasser, C. (2014). Dynamic derivations for sequent-based logical argumentation. COMPUTATIONAL MODELS OF ARGUMENT, 266, 89–100. https://doi.org/10.3233/978-1-61499-436-7-89
Chicago author-date
Arieli, Ofer, and Christian Strasser. 2014. “Dynamic Derivations for Sequent-Based Logical Argumentation.” In COMPUTATIONAL MODELS OF ARGUMENT, 266:89–100. Amsterdam: Ios Press. https://doi.org/10.3233/978-1-61499-436-7-89.
Chicago author-date (all authors)
Arieli, Ofer, and Christian Strasser. 2014. “Dynamic Derivations for Sequent-Based Logical Argumentation.” In COMPUTATIONAL MODELS OF ARGUMENT, 266:89–100. Amsterdam: Ios Press. doi:10.3233/978-1-61499-436-7-89.
Vancouver
1.
Arieli O, Strasser C. Dynamic derivations for sequent-based logical argumentation. In: COMPUTATIONAL MODELS OF ARGUMENT. Amsterdam: Ios Press; 2014. p. 89–100.
IEEE
[1]
O. Arieli and C. Strasser, “Dynamic derivations for sequent-based logical argumentation,” in COMPUTATIONAL MODELS OF ARGUMENT, Pitlochry, SCOTLAND, 2014, vol. 266, pp. 89–100.
@inproceedings{8515545,
  abstract     = {{We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.}},
  author       = {{Arieli, Ofer and Strasser, Christian}},
  booktitle    = {{COMPUTATIONAL MODELS OF ARGUMENT}},
  isbn         = {{9781614994367}},
  issn         = {{0922-6389}},
  keywords     = {{logical argumentation,sequent calculi,dynamic derivations}},
  language     = {{eng}},
  location     = {{Pitlochry, SCOTLAND}},
  pages        = {{89--100}},
  publisher    = {{Ios Press}},
  title        = {{Dynamic derivations for sequent-based logical argumentation}},
  url          = {{http://doi.org/10.3233/978-1-61499-436-7-89}},
  volume       = {{266}},
  year         = {{2014}},
}

Altmetric
View in Altmetric
Web of Science
Times cited: