| [24] | Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] |
| [23] | 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] |
| [22] | Convivial Ambient Technologies: Requirements, Ontology and Design (Patrice Caire, Leendert van der Torre), In Comput. J., volume 53, 2010.
[bib] [pdf] |
| [21] | Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving (Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre), In STAIRS (Thomas \AAgotnes, ed.), IOS Press, volume 222, 2010.
[bib] [pdf] |
| [20] | STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010, (Thomas \AAgotnes, ed.), IOS Press, volume 222, 2010.
[bib] |
| [19] | Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers, (Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek, eds.), Springer, volume 6006, 2010.
[bib] |
| [18] | 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] |
| [17] | Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), AAAI Press, 2010.
[bib] |
| [16] | AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue - International Workshops AICOL-I/IVR-XXIV Beijing, China, September 19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers, (Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani, eds.), Springer, volume 6237, 2010.
[bib] |
| [15] | 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] |
| [14] | ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, (Helder Coelho, Rudi Studer, Michael Wooldridge, eds.), IOS Press, volume 215, 2010.
[bib] |
| [13] | Deontic Redundancy: A Fundamental Challenge for Deontic Logic (Leendert van der Torre), In DEON (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] [pdf] |
| [12] | 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] |
| [11] | Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fi esole, Italy, July 7-9, 2010. Proceedings, (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] |
| [10] | Coordination, Organizations, Institutions and Norms in Agent Systems V, COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers, (Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T. Matson, Axel Polleres, eds.), Springer, volume 6069, 2010.
[bib] |
| [9] | Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers, (Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet, eds.), Springer, volume 6057, 2010.
[bib] |
| [8] | ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, (Helder Coelho, Rudi Studer, Michael Wooldridge, eds.), IOS Press, volume 215, 2010.
[bib] |
| [7] | Support in Abstract Argumentation (D. M. Gabbay, G. Boella, L. van der Torre, S. Villata), In Proceedings of COMMA 2010, 2010.
[bib] [pdf] |
| [6] | 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] |
| [5] | 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] |
| [4] | 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] |
| [3] | 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] |
| [2] | 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] |
| [1] | A Middleware for Modelling Organizations and Roles in Jade (Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre), In Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009), 2010.
[bib] [pdf] |