| [127] | Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation (Llio Humphreys, Cristiana Santos, Luigi Di Caro, Guido Boella, Leon van der Torre, Livio Robaldo), In Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10-11, 2015, IOS Press, volume 279, 2015.
[bib] [pdf] [doi] |
| [126] | Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII) (João Leite, Paolo Torroni, Thomas \AAgotnes, Guido Boella, Leendert W. N. van der Torre), In J. Log. Comput., volume 24, 2014.
[bib] [pdf] [doi] |
| [125] | Compliance with Multiple Regulations (Sepideh Ghanavati, Llio Humphreys, Guido Boella, Luigi Di Caro, Livio Robaldo, Leendert W. N. van der Torre), In Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings (Eric S. K. Yu, Gillian Dobbie, Matthias Jarke, Sandeep Purao, eds.), Springer, volume 8824, 2014.
[bib] [pdf] [doi] |
| [124] | 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] |
| [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] | 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] |
| [120] | 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] |
| [119] | 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] |
| [118] | A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011.
[bib] [pdf] |
| [117] | 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] |
| [116] | 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] |
| [115] | Attack Semantics for Abstract Argumentation (Serena Villata, Guido Boella, Leendert van der Torre), In IJCAI (Toby Walsh, ed.), IJCAI/AAAI, 2011.
[bib] [pdf] |
| [114] | 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] |
| [113] | 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] |
| [112] | 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] |
| [111] | 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] |
| [110] | A Logical Understanding of Legal Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In KR (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), AAAI Press, 2010.
[bib] [pdf] |
| [109] | Higher-Order Coalition Logic (Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre), In ECAI (Helder Coelho, Rudi Studer, Michael Wooldridge, eds.), IOS Press, volume 215, 2010.
[bib] [pdf] |
| [108] | Privacy Policies with Modal Logic: The Dynamic Turn (Guillaume Aucher, Guido Boella, Leendert van der Torre), In DEON (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] [pdf] |
| [107] | Trust in Abstract Argumentation (Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010.
[bib] [pdf] |
| [106] | Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010.
[bib] [pdf] |
| [105] | Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10), 2010.
[bib] [pdf] |
| [104] | Support in Abstract Argumentation (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), Frontiers in Artificial Intelligence and Applications, IOS Press, 2010.
[bib] [pdf] |
| [103] | Arguing about Trust in Multiagent Systems (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 2010.
[bib] [pdf] |