@article{WaltonGordon2015,
  author    = {Walton, Douglas and Gordon, Thomas F.},
  title     = {Formalizing informal logic},
  series = {Informal logic : reasoning and argumentation in theory and practics},
  volume    = {35},
  journal   = {Informal logic : reasoning and argumentation in theory and practics},
  number    = {4},
  publisher = {Centre for Research in Reasoning, Argumentation and Rhetoric, University of Windsor},
  address   = {Windsor},
  issn      = {0824-2577},
  pages     = {508 -- 538},
  year      = {2015},
  abstract  = {In this paper we investigate the extent to which formal argumentation models can handle ten basic characteristics of informal logic identified in the informal logic literature. By showing how almost all of these characteristics can be successfully modelled formally, we claim that good progress can be made toward the project of formalizing informal logic. Of the formal argumentation models available, we chose the Carneades Argumentation System (CAS), a formal, computational model of argument that uses argument graphs as its basis, structures of a kind very familiar to practitioners of informal logic through their use of argument diagrams.},
  language  = {en}
}