Bibtex de la publication

@InProceedings{ HedeLoTr2012.1,
author = {Herzig, Andreas and de Lima, Tiago and Lorini, Emiliano and Troquard, Nicolas},
title = "{A computationally grounded dynamic logic of agency, with an application to legal actions (regular paper)}",
booktitle = "{International Conference on Deontic Logic in Computer Science (DEON), Bergen, Norway, 16/07/2012-18/07/2012}",
editor = { Ã…gotnes, Thomas and Broersen, Jan and Elgesem, Dag},
year = {2012},
month = {juillet},
publisher = {Springer},
address = {http://www.springerlink.com},
series = {LNCS},
number = {7393},
pages = {170--183},
language = {anglais},
URL = {http://www.irit.fr/~Andreas.Herzig/P/Deon12.html},
keywords = {dynamic logic, deontic logic, agency, stit}
}