| [127] | AGM Revision of Beliefs about Action and Time (Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre), In Proceedings of the International Joint Conference on Artificial Intelligence, 2015.
[bib] [pdf] |
| [126] | 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] |
| [125] | 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] |
| [124] | 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] |
| [123] | 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] |
| [122] | 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] |
| [121] | 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] |
| [120] | 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] |
| [119] | 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] |
| [118] | 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] |
| [117] | 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] |
| [116] | Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems (Antonino Rotolo, Leendert van der Torre), In RuleML Europe (Nick Bassiliades, Guido Governatori, Adrian Paschke, eds.), Springer, volume 6826, 2011.
[bib] [pdf] |
| [115] | Multi-sorted Argumentation (Tjitze Rienstra, Alan Perotti, Serena Villata, Dov Gabbay Leendert van der Torre), In Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 2011.
[bib] [pdf] |
| [114] | Time and defeasibility in FIPA ACL semantics (Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre), In J. Applied Logic, volume 9, 2011.
[bib] [pdf] |
| [113] | A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011.
[bib] [pdf] |
| [112] | Conditional Labelling for Abstract Argumentation (Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata), In TAFA (Sanjay Modgil, Nir Oren, Francesca Toni, eds.), Springer, volume 7132, 2011.
[bib] [pdf] |
| [111] | Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems (Antonino Rotolo, Leendert van der Torre), In RuleML Europe (Nick Bassiliades, Guido Governatori, Adrian Paschke, eds.), Springer, volume 6826, 2011.
[bib] [pdf] |
| [110] | Argumentative Agents Negotiating on Potential Attacks (Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata), In KES-AMSTA (James O'Shea, Ngoc Thanh Nguyen, Keeley A. Crockett, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 6682, 2011.
[bib] [pdf] |
| [109] | Attack Semantics for Abstract Argumentation (Serena Villata, Guido Boella, Leendert van der Torre), In IJCAI (Toby Walsh, ed.), IJCAI/AAAI, 2011.
[bib] [pdf] |
| [108] | Arguing about the Trustworthiness of the Information Sources (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In ECSQARU (Weiru Liu, ed.), Springer, volume 6717, 2011.
[bib] [pdf] |
| [107] | Dynamics in Delegation and Revocation Schemes: A Logical Approach (Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre), In DBSec (Yingjiu Li, ed.), Springer, volume 6818, 2011.
[bib] [pdf] |
| [106] | Conviviality measures (Patrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera), In AAMAS (Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, eds.), IFAAMAS, 2011.
[bib] [pdf] |
| [105] | Neural symbolic architecture for normative agents (Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre), In AAMAS (Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, eds.), IFAAMAS, 2011.
[bib] [pdf] |
| [104] | The role of goals in belief selection (Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre), In Logic Journal of the IGPL, volume 18, 2010.
[bib] [pdf] |
| [103] | Convivial Ambient Technologies: Requirements, Ontology and Design (Patrice Caire, Leendert van der Torre), In Comput. J., volume 53, 2010.
[bib] [pdf] |