| [419] | Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008) (Ron van der Meyden, Leon van der Torre), In J. Applied Logic, volume 9, 2011.
[bib] [pdf] |
| [418] | 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] |
| [417] | A dynamic logic for privacy compliance (Guillaume Aucher, Guido Boella, Leendert van der Torre), In Artif. Intell. Law, volume 19, 2011.
[bib] [pdf] |
| [416] | 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] |
| [415] | 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] |
| [414] | Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings, (Nick Bassiliades, Guido Governatori, Adrian Paschke, eds.), Springer, volume 6826, 2011.
[bib] |
| [413] | 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] |
| [412] | Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings, (James O'Shea, Ngoc Thanh Nguyen, Keeley A. Crockett, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 6682, 2011.
[bib] |
| [411] | Attack Semantics for Abstract Argumentation (Serena Villata, Guido Boella, Leendert van der Torre), In IJCAI (Toby Walsh, ed.), IJCAI/AAAI, 2011.
[bib] [pdf] |
| [410] | IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, (Toby Walsh, ed.), IJCAI/AAAI, 2011.
[bib] |
| [409] | 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] |
| [408] | Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings, (Weiru Liu, ed.), Springer, volume 6717, 2011.
[bib] |
| [407] | 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] |
| [406] | Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings, (Yingjiu Li, ed.), Springer, volume 6818, 2011.
[bib] |
| [405] | 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] |
| [404] | 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] |
| [403] | 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, (Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, eds.), IFAAMAS, 2011.
[bib] |
| [402] | A Satisficing Agreements Model (G. Boella, G. Pigozzi, M. Slavkovik, L. van der Torre), In Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (M. B. van Riemsdijk, J.V. Salceda, eds.), 2011.
[bib] [pdf] |
| [401] | Group Intention Is Social Choice with Commitment (G. Boella, G. Pigozzi, M. Slavkovik, L. van der Torre), Chapter in Coordination, Organizations, Institutions, and Norms in Agent Systems VI (M. De Vos, N. Fornara, J. Pitt, G. Vouros, eds.), Springer Berlin / Heidelberg, volume 6541, 2011.
[bib] [pdf] |
| [400] | 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] |
| [399] | Convivial Ambient Technologies: Requirements, Ontology and Design (Patrice Caire, Leendert van der Torre), In Comput. J., volume 53, 2010.
[bib] [pdf] |
| [398] | 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] |
| [397] | 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] |
| [396] | 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] |
| [395] | 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] |