Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings Agotnes, Thomas Heftet / 2012 / Engelsk
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings Leite Joao Heftet / 2011 / Engelsk
