%0 Journal Article %1 journals/aepia/BullingD10 %A Bulling, Nils %A Dix, Jürgen %D 2010 %J Inteligencia Artif. %K %N 46 %P 45-73 %T Modelling and Verifying Coalitions using Argumentation and ATL. %U http://dblp.uni-trier.de/db/journals/aepia/aepia14.html#BullingD10 %V 14

@article{journals/aepia/BullingD10, added-at = {2023-12-13T01:04:53.000+0100}, author = {Bulling, Nils and Dix, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/262d1f8f34a432d1b38060227cfa64bee/admin}, ee = {http://journal.iberamia.org/index.php/ia/article/view/641/article%20%281%29.pdf}, interhash = {6c88a05781782beee4aa468a557be14a}, intrahash = {62d1f8f34a432d1b38060227cfa64bee}, journal = {Inteligencia Artif.}, keywords = {}, number = 46, pages = {45-73}, timestamp = {2023-12-13T01:04:53.000+0100}, title = {Modelling and Verifying Coalitions using Argumentation and ATL.}, url = {http://dblp.uni-trier.de/db/journals/aepia/aepia14.html#BullingD10}, volume = 14, year = 2010 }