| [36] | Contrary-To-Duties in Games (Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto), In Logic Programs, Norms and Action (Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis, eds.), Springer, volume 7360, 2012.
[bib] [pdf] |
| [35] | Normative Multi-Agent Systems (Dagstuhl Seminar 12111) (Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre), In Dagstuhl Reports, volume 2, 2012.
[bib] |
| [34] | Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers, (Sanjay Modgil, Nir Oren, Francesca Toni, eds.), Springer, volume 7132, 2012.
[bib] |
| [33] | Abstract Normative Systems: Semantics and Proof Theory (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In KR (Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, eds.), AAAI Press, 2012.
[bib] [pdf] |
| [32] | Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, (Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, eds.), AAAI Press, 2012.
[bib] |
| [31] | Beyond Maxi-Consistent Argumentation Operators (Srdjan Vesic, Leendert van der Torre), In JELIA (Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin, eds.), Springer, volume 7519, 2012.
[bib] [pdf] |
| [30] | Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, (Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin, eds.), Springer, volume 7519, 2012.
[bib] |
| [29] | Reasoning for Agreement Technologies (Guido Boella, Leendert van der Torre), In ECAI (Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, eds.), IOS Press, volume 242, 2012.
[bib] [pdf] |
| [28] | ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, (Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, eds.), IOS Press, volume 242, 2012.
[bib] |
| [27] | Visualizing Normative Systems: An Abstract Approach (Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata), In DEON (Thomas \AAgotnes, Jan Broersen, Dag Elgesem, eds.), Springer, volume 7393, 2012.
[bib] [pdf] |
| [26] | Discussion Paper: Changing Norms Is Changing Obligation Change (Jan Broersen, Dov M. Gabbay, Leendert van der Torre), In DEON (Thomas \AAgotnes, Jan Broersen, Dag Elgesem, eds.), Springer, volume 7393, 2012.
[bib] [pdf] |
| [25] | Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings, (Thomas \AAgotnes, Jan Broersen, Dag Elgesem, eds.), Springer, volume 7393, 2012.
[bib] |
| [24] | Logics for Security and Privacy (Leendert van der Torre), In DBSec (Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, eds.), Springer, volume 7371, 2012.
[bib] [pdf] |
| [23] | Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings, (Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, eds.), Springer, volume 7371, 2012.
[bib] |
| [22] | Conditional Acceptance Functions (Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In COMMA (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), IOS Press, volume 245, 2012.
[bib] [pdf] |
| [21] | On Input/Output Argumentation Frameworks (Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata), In COMMA (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), IOS Press, volume 245, 2012.
[bib] [pdf] |
| [20] | Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012, (Bart Verheij, Stefan Szeider, Stefan Woltran, eds.), IOS Press, volume 245, 2012.
[bib] |
| [19] | Contrary-To-Duties in Games (Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto), In Logic Programs, Norms and Action (Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis, eds.), Springer, volume 7360, 2012.
[bib] [pdf] |
| [18] | Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, (Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis, eds.), Springer, volume 7360, 2012.
[bib] |
| [17] | International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), (Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, eds.), IFAAMAS, 2012.
[bib] |
| [16] | A programming approach to monitoring communication in an organisational environment (Mehdi Dastani, Leendert van der Torre, Neil Yorke-Smith), In AAMAS (Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, eds.), IFAAMAS, 2012.
[bib] [pdf] |
| [15] | Learning and reasoning about norms using neural-symbolic systems (Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert van der Torre), In AAMAS (Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, eds.), IFAAMAS, 2012.
[bib] [pdf] |
| [14] | Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, (Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis, eds.), Springer, volume 7360, 2012.
[bib] |
| [13] | Dependence Networks for Agreement Technologies (G. Boella, P. Caire, L. van der Torre, S. Villata), In , CEUR, 2012.
[bib] |
| [12] | NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge (G. Boella, L. di Caro, L. Humphreys, L. Robaldo, L. van der Torre), European Language Resources Association (ELRA), 2012.
[bib] [pdf] |