A logic of argumentation for specification and verification of abstract argumentation frameworks

Villata, S.; Boella, G.; Gabbay, D. M.; van der Torre, L.

A logic of argumentation for specification and verification of abstract argumentation frameworks (bibtex)

@Article{10993/14506,
  Title                    = {A logic of argumentation for specification and verification of abstract argumentation frameworks},
  Author                   = {Villata, S. and Boella, G. and Gabbay, D. M. and van der Torre, L.},
  Year                     = {2012},

  Publisher                = {Springer},
  Timestamp                = {2015.01.26}
}