| [304] | 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] |
| [303] | 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] |
| [302] | Aggregative Deontic Detachment for Normative Reasoning (Xavier Parent, Leon van der Torre), In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds.), AAAI Press, 2014.
[bib] [pdf] |
| [301] | 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] |
| [300] | Social Interaction Based Audience Segregation for Online Social Networks (Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata), In Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3-5, 2014. (Andreas Herzig, Emiliano Lorini, eds.), CEUR-WS.org, volume 1283, 2014.
[bib] [pdf] |
| [299] | Abduction and Dialogical Proof in Argumentation and Logic Programming (Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre), In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds.), IOS Press, volume 263, 2014.
[bib] [pdf] [doi] |
| [298] | "Sing and Dance!" - Input/Output Logics without Weakening (Xavier Parent, Leendert W. N. van der Torre), In Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent, eds.), Springer, volume 8554, 2014.
[bib] [pdf] [doi] |
| [297] | Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario (Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi), In Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent, eds.), Springer, volume 8554, 2014.
[bib] [pdf] [doi] |
| [296] | An ASPIC-based legal argumentation framework for deontic reasoning (Leendert W. N. van der Torre, Serena Villata), In Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014 (Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds.), IOS Press, volume 266, 2014.
[bib] [pdf] [doi] |
| [295] | Encompassing Uncertainty in Argumentation Schemes (Pietro Baroni, Massimiliano Giacomin, Beishui Liao, Leon van der Torre), In Proceedings of the Workshop on Frontiers and Connections between Argumentation Theory and Natural Language Processing, Forlì-Cesena, Italy, July 21-25, 2014. (Elena Cabrio, Serena Villata, Adam Wyner, eds.), CEUR-WS.org, volume 1341, 2014.
[bib] [pdf] |
| [294] | 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] |
| [293] | 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] |
| [292] | 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] |
| [291] | 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] |
| [290] | 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] |
| [289] | 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] |
| [288] | 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] |
| [287] | 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] |
| [286] | 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] |
| [285] | 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] |
| [284] | 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] |
| [283] | 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] |
| [282] | Judgment aggregation rules based on minimization (J. Lang, G. Pigozzi, M. Slavkovik, L. van der Torre), In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM, 2011.
[bib] [pdf] |
| [281] | 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] |
| [280] | 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] |