%0 Journal Article %1 journals/amai/VillataBGTH12 %A Villata, Serena %A Boella, Guido %A Gabbay, Dov M. %A van der Torre, Leendert W. N. %A Hulstijn, Joris %D 2012 %J Ann. Math. Artif. Intell. %K dblp %N 1-4 %P 199-230 %T A logic of argumentation for specification and verification of abstract argumentation frameworks. %U http://dblp.uni-trier.de/db/journals/amai/amai66.html#VillataBGTH12 %V 66

@article{journals/amai/VillataBGTH12, added-at = {2021-04-09T00:00:00.000+0200}, author = {Villata, Serena and Boella, Guido and Gabbay, Dov M. and van der Torre, Leendert W. N. and Hulstijn, Joris}, biburl = {https://www.bibsonomy.org/bibtex/2766f7d456c76b7a5417111c0fa6e2f4c/dblp}, ee = {https://doi.org/10.1007/s10472-012-9318-6}, interhash = {31a388cf972ab233e9fac7ae7e29dcc2}, intrahash = {766f7d456c76b7a5417111c0fa6e2f4c}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-4}, pages = {199-230}, timestamp = {2024-04-08T16:48:58.000+0200}, title = {A logic of argumentation for specification and verification of abstract argumentation frameworks.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai66.html#VillataBGTH12}, volume = 66, year = 2012 }