Home // SnT // People // Leon van der Torre

Leon van der Torre

Leon van der Torre

Professor

Research Topics Intelligent systems, Knowledge representation, Multiagent systems
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0345-080
Email
Telephone (+352) 46 66 44 5261
Video Prof. Leon Van Der Torre (SnT)
Prof. Leon Van Der Torre (SnT)
 
Leon Van Der Torre - Professor (SnT)

Member of executive committee ERCIM representing Luxembourg, member of faculty council.

Knowledge representation is an issue that arises in both cognitive science and artificial intelligence. In cognitive science it is concerned with how people store and process information. In artificial intelligence the primary aim is to store knowledge so that programs can process it and achieve the verisimilitude of human intelligence. AI researchers have borrowed representation theories from cognitive science. Thus there are representation techniques such as frames, rules and semantic networks which have originated from theories of human information processing. Since knowledge is used to achieve intelligent behavior, the fundamental goal of knowledge representation is to represent knowledge in a manner as to facilitate inferencing i.e. drawing conclusions from knowledge.

We work on logics for knowledge representation and reasoning. Input-output logic (IOL) is a theory of input/output operations resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels.

A multi-agent system (MAS) is a system composed of several agents, collectively capable of reaching goals that are difficult to achieve by an individual agent or monolithic system. The exact nature of the agents is a matter of some controversy. They are sometimes claimed to be autonomous. For example a household floor cleaning robot can be autonomous in that it is dependent only on a human operator to start it up. On the other hand, in practice, all agents are under active human supervision. Furthermore, the more important the activities of the agent are to humans, the more supervision that they receive. In fact, autonomy is seldom desired. Instead interdependent systems are needed. MAS can be claimed to include human agents as well. Human organizations and society in general can be considered an example of a multi-agent system.

We work on normative multi-agent systems, which study general and domain independent properties of norms. It builds on results obtained in deontic logic, the logic of obligations and permissions, for the representation of norms as rules, the application of such rules, contrary-to-duty reasoning and the relation to permissions. However, it goes beyond logical relations among obligations and permissions by explaining the relation among social norms and obligations, relating regulative norms to constitutive norms, explaining the evolution of normative systems, and much more.

Our normative multi-agent systems are based on the BOID architecture, an abstract agent representation, that consists of the four components Beliefs, Obligations, Intentions and Desires. The simple-minded BOID is a lightweight stimulus response agent, that only exhibits reactive behavior. Our BOID consists of two phases: the first phase results in an intermediate epistemic state, and the second phase results in new intended actions. This simple-minded BOID is extended (as time and resources allow) with capabilities for deliberation which may result in more complex (e.g. pro-active) behavior.

Curriculum Vitae

  • I was born in Rotterdam, the Netherlands, and at the Erasmus University of Rotterdam I held positions at EURIDIS and the Department of Computer Science during which I obtained my MS (August 1992) and my PhD in computer science (February 1997). I worked on deontic logic in computer science (with Yao-Hua Tan).
  • In the following two years I visited the Max Planck Institute for computer science and the IRIT laboratory in Toulouse, France as a Marie Curie fellow, where I worked on qualitative decision theory (with Jerome Lang and Emil Weydert), and started to work on input/output logics (with David Makinson).
  • Returning to the Netherlands, I worked at the Vrije Universiteit van Amsterdam in the SINS project and at the CWI on the ArchiMate project. I worked on agent theory and cognitive science. I initiated the BOID project (with Jan Broersen, Mehdi Dastani, Zhisheng Huang and Joris Hulstijn) and the normative multiagent systems (with Guido Boella).
  • I started January 2006 at the University of Luxembourg. I am COST ICT Domain Committee member for Luxembourg, ERCIM executive committee member for Luxembourg, and responsible for priority P1 on security and trust within the University of Luxembourg.

Research

Research is guided by the insight that intelligent systems are characterized not only by their individual reasoning capacity, but also by their social interaction potential. Our overarching goal is to develop and investigate formal models and computational realizations of individual and collective rationality. This includes in particular the generalization of existing frameworks for single agent reasoning to multi-agent communities, the modeling and study of interactions between agents in complex social environments, and the development of generalized inference techniques, e.g. for aggregating conflicting evidence and norms.

Teaching

  • Introduction to intelligent systems: agents and reasoning,
  • agents 1: knowledge representation,
  • agents 2: multiagent systems,
  • game theory,
  • selected topics in AI (MiCS),
  • discrete mathematics 2,
  • methods in science,
  • introduction to intelligent and adaptive systems (BINFO).

Last updated on: Wednesday, 14 October 2015

powered by
orbilu.uni.lu

2017

Full Text
See detailReasoning in Non-probabilistic Uncertainty: Logic Programming and Neural Symbolic Computing as Examples
Besold, Tarek; Garcez, Artur d'Avila; Stenning, Keith; van der Torre, Leon; van Lambalgen, Michiel

in Minds and Machines (2017)

Full Text
See detailCommitments and interaction norms in organisations
Dastani, Mehdi; van der Torre, Leon; Yorke-Smith, Neil

in Autonomous Agents & Multi-Agent Systems (2017), 31(2), 207-249

Full Text
See detailThe pragmatic oddity in a norm-based semantics
Parent, Xavier; van der Torre, Leon

in Governatori, Guido (Ed.) 16th International Conference on Artificial Intelligence & Law (ICAIL-17) (2017, June)

Top of Page

2016

Full Text
See detailA Representation Theorem for Abstract Cumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

Report (2016)

Full Text
See detailCumulative Aggregation
Ambrossio, Diego Agustin; Parent, Xavier; van der Torre, Leon

in Deontic Logic and Normative Systems (2016)

Full Text
See detailEunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law
Boella, Guido; Di Caro, Luigi; Humphreys, Llio; Robaldo, Livio; Rossi, Piercarlo; van der Torre, Leon

in Artificial Intelligence & Law (2016)

Full Text
See detailAGM Contraction and Revision of Rules
Boella, Guido; Pigozzi, Gabriella; van der Torre, Leon

in Journal of Logic, Language and Information (2016), 25(3), 273-297

Full Text
See detailPrioritized Norms and Defaults in Formal Argumentation
Liao, Beishui; Oren, Nir; van der Torre, Leon; Villata, Serena

in Deontic Logic and Normative Systems (2016) (2016)

Full Text
See detailComplaint Ontology Pattern - COP
Santos, Cristiana; Pruski, Cédric; da Silveira, Marcos; Rodriguez-Doncel, Victor; Gangemi, Aldo; van der Torre, Leon; Casanovas, Pompeu

in Workshop on Ontology and Semantic Web Patterns, Kobe 18 October 2016 (2016)

Full Text
See detailModeling relevant legal information for consumer disputes
Santos, Cristiana; Rodriguez Doncel, Victor; Casanovas, Pompeu; van der Torre, Leon

in EGOVIS 2016: Electronic Government and the Information Systems Perspective (2016, September)

Full Text
See detailNorms and Arguments
van der Torre, Leon

in Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. (2016)

Full Text
See detailPresent and Future of Formal Argumentation
van der Torre, Leon; Giacomin, Massimiliano; Liao, Beishui; Gabbay, Dov M.

in Dagstuhl Reports (2016)

Top of Page

2015

Full Text
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano; Kelsen, Pierre; Ma, Qin; el Kharbili, Marwane; Governatori, Guido; van der Torre, Leon

in Frontiers of Computer Science (2015), 9(1), 55-74

Full Text
See detailClassifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling
Humphreys, Llio; Boella, Guido; Robaldo, Livio; Di Caro, Luigi; Cupi, Loredana; Ghanavati, Sepideh; Kiriinya, Robert Kevin Muthuri; van der Torre, Leon

in The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015 (2015)

Full Text
See detailMapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation
Humphreys, Llio; Santos, Cristiana; Di Caro, Luigi; Boella, Guido; Robaldo, Livio; van der Torre, Leon

in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)

Full Text
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc; Doder, Dragan; Dastani, Mehdi; van der Torre, Leon

Scientific Conference (2015)

Full Text
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc; Doder, Dragan; Dastani, Mehdi; van der Torre, Leon

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

Full Text
See detailRetalis Language for Information Engineering in Autonomous Robot Software
Ziafati, Pouyan; dastani, mehdi; meyer, john-jules; van der Torre, Leon; Voos, Holger

in IfCoLog Journal of Logics and their Applications (2015), 2(2), 85

Top of Page

2014

Full Text
See detailOn the Input/Output behavior of argumentation frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico; Giacomin, Massimiliano; van der Torre, Leon

in Artificial Intelligence (2014)

Full Text
See detailA Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice
Boella, Guido; Humphreys, Llio; Muthuri, Robert; van der Torre, Leon; Rossi, Piercarlo

in Seventh IEEE Workshop on Requirements Engineering and Law (2014)

Full Text
See detailAggregative Deontic Detachment for Normative Reasoning
Parent, Xavier; van der Torre, Leon

in KR&R (2014)

See detailIntuitionistic basis for IOL
Parent, Xavier; van der Torre, Leon; Gabbay, Dov M.

in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)

Full Text
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin; Gabbay, Dov; Robaldo, Livio; van der Torre, Leon; Baniasadi, Zohreh

in 12th International Conference Deontic Logic and Normative Systems (2014)

Full Text
See detailCombining Regulative and Constitutive Norms in Input/Output Logic
Sun, Xin; van der Torre, Leon

in 12th International Conference on Deontic Logic and Normative Systems (2014)

Full Text
See detailSocial Interaction Based Audience Segregation for Online Social Networks.
van der Torre, Leon; Ahmed, Javed; Governatori, Guido; Villata, Serena

in Proceedings of the European Conference on Social Intelligence (2014)

Full Text
See detailEncompassing Uncertainty in Argumentation Schemes.
van der Torre, Leon; Baroni, Pietro; Giacomin, Massimiliano; Liao, Beishui

in Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014. (2014)

Full Text
See detailSing and Dance!
van der Torre, Leon; Parent, Xavier

in Sing and Dance! (2014)

Full Text
See detailAn ASPIC-based legal argumentation framework for deontic reasoning
van der Torre, Leon; Villata, Serena

in Computational Models of Argument (2014)

Full Text
See detailCollective Intention Revision from a Database Perspective
Van Zee, Marc; Dastani, Mehdi; van der Torre, Leon

Scientific Conference (2014)

Full Text
See detailReasoning on Robot Knowledge from Discrete and Asynchronous Observations
Ziafati, Pouyan; Elrakaiby, Yehia; van der Torre, Leon; Voos, Holger; Dastani, Mehdi; Meyer, John-Jules; Van Zee, Marc

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Top of Page

2013

Full Text
See detailManaging legal interpretation in regulatory compliance
Boella, Guido; Janssen, Marijn; Joris, Hulstijn; Humphreys, Llio; van der Torre, Leon

in XIV International Conference on Artificial Intelligence and Law (2013)

Full Text
See detailIntegrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution
Boella, Guido; Tosatto, Silvano Colombo; Ghanavati, Sepideh; Hulstijn, Joris; Humphreys, Llio; van der Torre, Leon

in AICOL (2013)

See detailA logical theory about dynamics in abstract argumentation
Booth, Richard; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leon

Scientific Conference (2013)

Full Text
See detailA logical theory about dynamics in abstract argumentation
Booth, Richard; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leon

in Scalable Uncertainty Management - 7th International Conference, SUM 2013 (2013)

Full Text
See detailMonotonic and non-monotonic inference for abstract argumentation
Booth, Richard; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leon

in Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013 (2013)

See detailA logical theory about dynamics in abstract argumentation
Booth, Richard; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leon

Scientific Conference (2013)

See detailNormative Reasoning and Consequence
Broersen, Jan; Cranefield, Stephen; Elrakaiby, Yehia; Gabbay, Dov M.; Grossi, Davide; Lorini, Emiliano; Parent, Xavier; van der Torre, Leon; Tummolini, Luca; Turrini, Paolo; Schwarzentruber, Fran

in Normative Multi-Agent Systems (2013)

Full Text
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies.
Caire, Patrice; van der Torre, Leon; Villata, Serena

in 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8. (2013, November)

Full Text
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies
Caire, Patrice; van der Torre, Leon; Villata, Serena

in AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28. (2013, October 27)

Full Text
See detailArgumentation Theoretic Foundations for Abstract Dependence Networks
Caire, Patrice; van der Torre, Leon; Villata, Serena

in International Conference on Agreement Technologies, proceedings in Springer LNCS (2013)

Full Text
See detailAlgorithms for Basic Compliance Problems
Colombo Tosatto, Silvano; El Kharbili, Marwane; Governatori, Guido; Kelsen, Pierre; Ma, Qin; van der Torre, Leon

in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)

Full Text
See detailHandbook of Deontic logic and Normative Systems
Gabbay, Dov; Horty, Jeff; Parent, Xavier; van der Meyden, Ron; van der Torre, Leon

Book published by College Publication (2013)

Full Text
See detailRewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
Kontarinis, Dionysios; Bonzon, Elise; Maudet, Nicolas; Perotti, Alan; van der Torre, Leon; Villata, Serana

in CLIMA (2013)

See detailInput/output logic
Parent, Xavier; van der Torre, Leon

in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff; van der Meyden, Ron (Eds.) Handbook of Deontic Logic (2013)

See detailAgent Programming Languages Requirements for Programming Autonomous Robots
Ziafati, Pouyan; Dastani, Mehdi; Meyer, John-Jules; van der Torre, Leon

in Dastani, Mehdi; Hübner, Jomif; Logan, Brian (Eds.) Programming Multi-Agent Systems (2013)

Full Text
See detailEvent-processing in Autonomous Robot Programming
Ziafati, Pouyan; Dastani, Mehdi; Meyer, John-Jules; van der Torre, Leon

in Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (2013)

Full Text
See detailA Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software
Ziafati, Pouyan; Voos, Holger; van der Torre, Leon; Dastani, Mehdi; Meyer, John-Jules

Poster (2013, May 06)

Top of Page

2012

Full Text
See detailNormative Multi-Agent Systems
Andrighetto, Giulia; Governatori, Guido; Noriega, Pablo; van der Torre, Leon

in Dagstuhl Reports (2012), 2(3), 23-49

Full Text
See detailOn Input/Output Argumentation Frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico; Giacomin, Massimiliano; van der Torre, Leon; Villata, Serena

in Proceedings of COMMA (2012)

Full Text
See detailDependence Networks for Agreement Technologies
Boella, Guido; Caire, Patrice; van der Torre, Leon; Villata, Serena

in AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies (2012)

Full Text
See detailNLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge
Boella, Guido; di Caro, Luigi; Humphreys, Llio; Robaldo, Livio; van der Torre, Leon

in Language Resources and Evaluation (LREC) (2012)

Full Text
See detailTowards Legal Knowledge Management Systems for Regulatory Compliance
Boella, Guido; Hulstijn, Joris; Humphreys, Llio; Janssen, Marijn; van der Torre, Leon

in IX Conference of the Italian Chapter of AIS (2012)

Full Text
See detailEunomos, a Legal Document and Knowledge Management System to Build Legal Services
Boella, Guido; Humphreys, Llio; Martin, Marco; Rossi, Piercarlo; van der Torre, Leon

in Palmirani, Monica; Pagallo, Ugo; Casanovas, Pompeu; Sartor, Giovanni (Eds.) AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents (2012)

Full Text
See detailConditional acceptance functions
Booth, Richard; Kaci, Souhila; Rienstra, Tjitze; van der Torre, Leon

in 4th International Conference on Computational Models of Argument (COMMA 2012) (2012)

Full Text
See detailDiscussion Paper: Changing Norms Is Changing Obligation Change
Broersen, Jan; Gabbay, Dov M.; van der Torre, Leon

in Deontic Logic in Computer Science (2012)

Full Text
See detailAbstract Normative Systems: Semantics and Proof Theory
Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leon; Villata, Serena

in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE (2012)

Full Text
See detailVisualizing Normative Systems: an Abstract Approach
Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leon; Villata, Serena

in Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Eds.) Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings (2012)

Full Text
See detailMonitoring Interaction in Organisations
Dastani, Mehdi; van der Torre, Leon; York-Smith, Neil

in COIN@AAMAS 2012 (2012)

Full Text
See detailA programming approach to monitoring communication in an organisational environment
Dastani, Mehdi; van der Torre, Leon; Yorke-Smith, Neil

in AAMAS 2012 (2012)

Full Text
See detailComputational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII
Fisher, Michael; van der Torre, Leon; Dastani, Mehdi; Governantori, Guido

in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012)

Full Text
See detailSelecting judgment aggregation rules for NAO robots: an experimental approach
Garcia Becerro, Frederic; Sousa, Sergio; Slavkovik, Marija; van der Torre, Leon

in Selecting judgment aggregation rules for NAO robots: an experimental approach (2012)

Full Text
See detailComputational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV
Leite, Joao; Son, Tran Cao; Torroni, Paolo; van der Torre, Leon; Woltran, Stefan

in Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV (2012)

Full Text
See detailChanging Agreements: Intention Reconsideration based on Assumptions and Reasons
Marosin, Diana; Proper, Alex Handrik; van der Torre, Leon

in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012)

Full Text
See detailLearning and Reasoning about Norms using Neural-Symbolic Systems
Perotti, Alan; Boella, Guido; Colombo Tosatto, Silvano; d’Avila Garcez, Artur S.; Genovese, Valerio; van der Torre, Leon

in International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (2012)

See detailContrary-To-Duties in Games
Turrini, Paolo; Parent, Xavier; van der Torre, Leon; Colombo Tosatto, Silvano

in Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (2012)

Full Text
See detailLogics for Security and Privacy
van der Torre, Leon

in 2012 (2012)

Full Text
See detailReasoning for Agreement Technologies
van der Torre, Leon; Boella, Guido

in ECAI 2012 (2012)

Full Text
See detailBeyond Maxi-Consistent Argumentation Operators
Vesic, Srdjan; van der Torre, Leon

in 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 (2012)

Full Text
See detailModelling defeasible and prioritized support in bipolar argumentation
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leon

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 163-197

Full Text
See detailA logic of argumentation for specification and verification of abstract argumentation frameworks
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leon

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 199-230

See detailAgent Programming Languages Requirements for Programming Cognitive Robots (extended abstract)
Ziafati, Pouyan; Dastani, Mehdi; Meyer, John-Jules; van der Torre, Leon

Scientific Conference (2012)

Top of Page

2011

Full Text
See detailDynamics in Delegation and Revocation Schemes: A Logical Approach
Aucher, Guillaume; Barker, Steve; Boella, Guido; Genovese, Valerio; van der Torre, Leon

in DBSec (2011)

Full Text
See detailA dynamic logic for privacy compliance
Aucher, Guillaume; Boella, Guido; van der Torre, Leon

in Artificial Intelligence & Law (2011)

Full Text
See detailNeural Symbolic Architecture for Normative Agents
Boella, Guido; Colombo Tosatto, Silvano; d'Avila Garcez, Artur; Genovese, Valerio; Ienco, Dino; van der Torre, Leon

in In Proceedings of The Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). May, 2011 (2011)

Full Text
See detailEmbedding Normative Reasoning into Neural Symbolic Systems
Boella, Guido; Colombo Tosatto, Silvano; d'Avila Garcez, Artur; Genovese, Valerio; van der Torre, Leon

in Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning (2011)

Full Text
See detailArgumentative Agents Negotiating on Potential Attacks
Boella, Guido; Gabbay, Dov M.; Perotti, Alan; van der Torre, Leon; Villata, Serena

in KES-AMSTA (2011)

Full Text
See detailA Satisficing Agreements Model
Boella, Guido; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (2011)

Full Text
See detailTowards Temporal Conviviality Measures
Caire, Patrice; Alcalde, Baptiste; van der Torre, Leon; Genon, Nicolas

in Benelux Conference on Artificial Intelligence (2011)

Full Text
See detailConviviality Measures
Caire, Patrice; Alcalde, Baptiste; van der Torre, Leon; Sombattheera, Chattrakul

in Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) (2011)

Full Text
See detailJudgment Aggregation for Cooperative Anchoring on the NAO Robots
Ganesan, V.; Slavkovik, Marija; Sousa, S.; van der Torre, Leon

in Works-in-progress track - 3rd International Conference on Social Robotics (2011)

Full Text
See detailJudgment aggregation rules based on minimization.
Lang, J.; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (2011, July 12), XIII

Full Text
See detailMulti-sorted Argumentation
Rienstra, Tjitze; Perotti, Alan; Villata, Serena; van der Torre, Leon

in Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011) (2011, July 16), 7132

Full Text
See detailRules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems
Rotolo, Antonino; van der Torre, Leon

in RuleML Europe (2011)

Full Text
See detailSelected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)
van der Meyden, Ron; van der Torre, Leon

in Journal of Applied Logic (2011), 9(2), 8182

Full Text
See detailArguing about the Trustworthiness of the Information Sources
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leon

in ECSQARU (2011)

Full Text
See detailAttack Semantics for Abstract Argumentation
Villata, Serena; Boella, Guido; van der Torre, Leon

in Attack Semantics for Abstract Argumentation (2011)

Top of Page

2010

Full Text
See detailPrivacy Policies with Modal Logic: The Dynamic Turn
Aucher, Guillaume; Boella, Guido; van der Torre, Leon

in DEON (2010)

Full Text
See detailHigher-Order Coalition Logic
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leon

in Bibliothèque(s) : revue de l'Association des bibliothécaires de France (2010)

Full Text
See detailSupport in Abstract Argumentation
Boella, Guido; Gabbay, Dov M.; van der Torre, Leon; Villata, Serena

in Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10) (2010)

Full Text
See detailA Logical Understanding of Legal Interpretation
Boella, Guido; Governatori, Guido; Rotolo, Antonino; van der Torre, Leon

in KR 2010 (2010)

Full Text
See detailGroup Intentions are Social Choice with Commitment
Boella, Guido; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Pre-Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10) (2010)

Full Text
See detailTrust in Abstract Argumentation
Boella, Guido; van der Torre, Leon; Villata, Serena

in Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10) (2010)

Full Text
See detailConvivial ambient technologies: Requirements, ontology, and design
Caire, Patrice; van der Torre, Leon

in The Computer Journal (2010), 53(8), 12291256

Full Text
See detailModal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving
Genovese, Valerio; Rispoli, Daniele; Gabbay, Dov M.; van der Torre, Leon

in STAIRS 2010 (2010)

Full Text
See detailArguing about Trust in Multiagent Systems
Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leon

in Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10) (2010)

Top of Page

2009

Full Text
See detailA Middleware for modeling Organizations and Roles in Jade
Baldoni, Matteo; Boella, Guido; Genovese, Valerio; Grenna, Roberto; Mugnaini, Andrea; van der Torre, Leon

in Proceedings of PROMAS (2009)

Full Text
See detailA Normative Multiagent Approach to Requirements Engineering
Boella, Guido; Broersen, Jan; van der Torre, Leon; Villata, Serena

in Postproceedings COIN@AAMAS 2009 (2009)

Full Text
See detailRepresenting Excuses in Social Dependence Networks
Boella, Guido; Broersen, Jan; van der Torre, Leon; Villata, Serena

in AI*IA (2009)

Full Text
See detailNorm Negotiation in Online Multi-Player Games
Boella, Guido; Caire, Patrice; van der Torre, Leon

in Knowledge & Information Systems (2009), 18(2), 137156

Full Text
See detailFibred security language
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leon

in Studia Logica (2009)

Full Text
See detailMeta-Argumentation part 1
Boella, Guido; Gabbay, Dov M.; van der Torre, Leon; Villata, Serena

in Studia Logica (2009)

Full Text
See detailChecking Consistency in role oriented Dependence Networks
Boella, Guido; Genovese, Valerio; van der Torre, Leon; Villata, Serena

in BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence (2009)

Full Text
See detailSocial network semantics for agent communication
Boella, Guido; Hulstijn, Joris; van der Torre, Leon

in Social network semantics for agent communication (2009)

Full Text
See detailDynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension
Boella, Guido; Kaci, Souhila; van der Torre, Leon

in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings (2009)

Full Text
See detailThe role of goals in belief selection
Boella, Guido; Pereira, Célia Da Costa; Pigozzi, Gabriella; Tettamanzi, Andrea; van der Torre, Leon

in Logic Journal of the IGPL (2009)

Full Text
See detailFive guidelines for normative multiagent systems
Boella, Guido; Pigozzi, Gabriella; van der Torre, Leon

in Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems (2009, December)

Full Text
See detailNormative systems in computer science. Ten guidelines for normative multiagent systems
Boella, Guido; Pigozzi, Gabriella; van der Torre, Leon

in Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121 (2009)

Full Text
See detailNormative framework for normative system change
Boella, Guido; Pigozzi, Gabriella; van der Torre, Leon

in Normative framework for normative system change (2009)

Full Text
See detailAlgorithms for finding coalitions exploiting a new reciprocity condition
Boella, Guido; Sauro, Luigi; van der Torre, Leon

in Logic Journal of the IGPL (2009), 17(3), 273297

Full Text
See detailThe Interplay between Relationships, Roles and Objects
Boella, Guido; van der Torre, Leon

in Proceedings of FSEN09 (2009)

Full Text
See detailFour Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics
Boella, Guido; van der Torre, Leon; Villata, Serena

in Proceedings of COIN (2009)

Full Text
See detailAnalyzing Cooperation in Iterative Social Network Design
Boella, Guido; van der Torre, Leon; Villata, Serena

in Journal of Universal Computer Science (2009), 15(13),

Full Text
See detailFour measures for the dynamics of coalitions in social networks
Boella, Guido; van der Torre, Leon; Villata, Serena

in Four measures for the dynamics of coalitions in social networks (2009)

Full Text
See detailOn the Acceptability of Meta-Arguments
Boella, Guido; van der Torre, Leon; Villata, Serena

in IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2009)

Full Text
See detailA Conviviality Measure for Early Requirement Phase of Multiagent System Design
Caire, Patrice; van der Torre, Leon

in Normative Multiagent Systems (2009)

Full Text
See detailTemporal Dependence Networks for the Design of Convivial Multiagent Systems
Caire, Patrice; van der Torre, Leon

in Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2009)

Full Text
See detailThe Design of Convivial Multiagent Systems
Caire, Patrice; van der Torre, Leon

in Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, April 6-9, 2009 at the Heriot-Watt University, Edinburgh (Scotland). (2009)

Full Text
See detailInput/output logics
Parent, Xavier; van der Torre, Leon

in Abstract book of 9th De Morgan Workshop on Deontic Logic (2009)

Full Text
See detailA complete conclusion-based procedure for judgment aggregation
Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Proceedings of the First International Conference on Algorithmic Decision Theory (ADT) (2009)

Full Text
See detailDependency in Cooperative Boolean Games
Sauro, Luigi; van der Torre, Leon; Villata, Serena

in Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings (2009)

Top of Page

2008

See detailHow to Program Organizations and Roles in the JADE Framework
Baldoni, Matteo; Boella, Guido; Genovese, Valerio; Grenna, Roberto; van der Torre, Leon

in Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (2008)

Full Text
See detailE-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms
Barbini, Patrizio; Boella, Guido; Rossi, Pier-Carlo; van der Torre, Leon

in Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008) (2008)

See detailReasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
Boella, Guido; Broersen, Jan; van der Torre, Leon

in Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (2008)

See detailMaking Others Believe What They Want
Boella, Guido; Pereira, Célia Da Costa; Tettamanzi, Andrea; van der Torre, Leon

in Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream (2008)

See detailSubstantive and procedural norms in normative multiagent systems
Boella, Guido; van der Torre, Leon

in Journal of Applied Logic (2008), 6(2), 152171

See detailInstitutions with a hierarchy of authorities in distributed dynamic environments
Boella, Guido; van der Torre, Leon

in Artificial Intelligence & Law (2008), 16(1), 5371

Full Text
See detailIntroduction to the special issue on normative multiagent systems
Boella, Guido; van der Torre, Leon; Verhagen, Harko

in Autonomous Agents & Multi-Agent Systems (2008), 17(1), 110

See detailSocial Viewpoints for Arguing about Coalitions
Boella, Guido; van der Torre, Leon; Villata, Serena

in Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (2008)

Full Text
See detailChanging Institutional Goals and Beliefs of Autonomous Agents
Boella, Guido; van der Torre, Leon; Villata, Serena

in Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings (2008)

Full Text
See detailSelf Adaptive Coalitions in Multiagent Systems
Boella, Guido; van der Torre, Leon; Villata, Serena

in Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008) (2008)

See detailConditional norms and dyadic obligations
Broersen, Jan; van der Torre, Leon

in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008)

Full Text
See detailConviviality masks in multiagent systems
Caire, Patrice; Villata, Serena; Boella, Guido; van der Torre, Leon

in Conviviality Masks in Multiagent Systems (2008)

See detailAdding Organizations and Roles as Primitives to JADE Framework
Genovese, Valerio; Grenna, Roberto; van der Torre, Leon; Baldoni, Matteo

in Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08 (2008)

See detailA Normative View on The Blocks World
Grossi, Davide; Gabbay, Dov M.; van der Torre, Leon

in Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (2008)

See detailReasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms
Kaci, Souhila; van der Torre, Leon

in Annals of Operations Research (2008), 163(1), 89114

Full Text
See detailPreference-based argumentation: Arguments supporting multiple values
Kaci, Souhila; van der Torre, Leon

in International Journal of Approximate Reasoning (2008), 48(3), 730751

See detailFrom belief change to preference change
Lang, Jerome; van der Torre, Leon

in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008)

See detailDesirable Tie-breaking Rules in Collective Decision Making
Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory (2008)

See detailConclusion-based procedure for judgment aggregation satisfying premise independence
Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008 (2008)

Full Text
See detailIndependence in judgment aggregation
Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leon

in Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08 (2008)

See detailFrom belief change to norm change
Pigozzi, Gabriella; van der Torre, Leon

in Prague International Colloquium: Logic of change, change of logic, LOCCOL'08 (2008)

See detailTime and Defeasibility in FIPA ACL Semantics
Rotolo, Antonino; Boella, Guido; Governatori, Guido; Hulstijn, Joris; Riveret, Regis; van der Torre, Leon

in Proceedings of WLIAMAS 2008 (2008)

See detailPartial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity
Zhou, Yi; van der Torre, Leon; Zhang, Yan

in Abstract book of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1 (2008)

Top of Page

2007

See detailIntegrating Architectural Models
Arbab, Farhad; de Boer, F. S.; Bonsangue, M.; Lankhorst, M. M.; Proper, H. A.; van der Torre, Leon

in Enterprise Modelling and Information Systems Architectures (2007), 1(2), 057

See detailRoles in Coordination and in Agent Deliberation: A Merger of Concepts
Baldoni, Matteo; Boella, Guido; Genovese, Valerio; van der Torre, Leon

in Proceedings of AWESOME07 (2007)

Full Text
See detailAdding Roles to Relationship Patterns
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Proceedings of WOA07 (2007)

See detailInteraction between Objects in powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Journal of Object Technology (2007), 6(2),

See detailRelationships Meet Their Roles in Object Oriented Programming
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (2007)

See detailBridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (2007)

See detailA Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles
Boella, Guido; Damiano, R.; Hulstijn, J.; van der Torre, Leon

in Applied Ontology (2007), (2), 217265

See detailDistinguishing Propositional and Action Commitment in Agent Communication
Boella, Guido; Damiano, R.; Hulstijn, Joris; van der Torre, Leon

in Proceedings of CMNA'07 (2007)

See detailMerging Roles in Coordination and in Agent Deliberation
Boella, Guido; Genovese, Valerio; Grenna, Roberto; van der Torre, Leon

in PRIMA (2007)

Full Text
See detailFIPA Communicative Acts in Defeasible Logic
Boella, Guido; Hulstijn, Joris; Governatori, Guido; Riveret, R.; Rotolo, Antonino; van der Torre, Leon

in Proceedings of NRAC'07 (2007)

See detailWhat You should Believe
Boella, Guido; Pereira, Célia Da Costa; Pigozzi, Gabriella; Tettamanzi, Andrea; van der Torre, Leon

in Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (2007)

See detailChoosing Your Beliefs
Boella, Guido; Pereira, Célia Da Costa; Pigozzi, Gabriella; Tettamanzi, Andrea; van der Torre, Leon

in Normative Multi-agent Systems (2007)

See detailFrom Social Power to Social Importance
Boella, Guido; Sauro, Luigi; van der Torre, Leon

in Web Intelligence and Agent Systems Journal (2007), (5), 393404

See detailPower in Norm Negotiation
Boella, Guido; van der Torre, Leon

in Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 – June 1, 2007, Proceedings (2007)

Full Text
See detailNorm negotiation in multiagent systems
Boella, Guido; van der Torre, Leon

in International Journal of Cooperative Information Systems (2007), 16(2),

Full Text
See detailA Game-Theoretic Approach to Normative Multi-Agent Systems
Boella, Guido; van der Torre, Leon

in Normative Multi-agent Systems (2007)

See detailFormal analysis of trace conditioning
Bosse, T.; Jonker, C. M.; Los, S. A.; van der Torre, Leon; Treur, J.

in Cognitive Systems Research (2007), 8(1), 3647

See detailReasoning About Norms, Obligations, Time and Agents
Broersen, Jan; van der Torre, Leon

in PRIMA (2007)

Full Text
See detailContextual Agent Deliberation in Defeasible Logic
Dastani, Mehdi; Governatori, Guido; Rotolo, Antonino; Song, Insu; van der Torre, Leon

in PRIMA (2007)

Full Text
See detailTen Philosophical Problems in Deontic Logic
Hansen, Jörg; Pigozzi, Gabriella; van der Torre, Leon

in Normative Multi-agent Systems (2007)

See detailOn the Acceptability of Incompatible Arguments
Kaci, Souhila; van der Torre, Leon; Weydert, Emil

in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings (2007)

See detailPremise Independence in Judgment Aggregation
Pigozzi, Gabriella; van der Torre, Leon

in Formal Models of Belief Change in Rational Agents (2007)

See detailThe ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles
van der Torre, Leon; Boella, Guido

in Artificial Intelligence & Law (2007), 15(3), 201221

Full Text
See detailAn Attacker Model for Normative Multi-agent Systems
van der Torre, Leon; Boella, Guido

in Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings (2007)

Top of Page

2006

Full Text
See detailModelling the Interaction Between Objects: Roles as Affordances
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Knowledge Science, Engineering and Management, First International Conference, KSEM 2006 (2006)

See detailI fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in networks : rivista di filosofia dell'intelligenza artificiale e scienze cognitive = a journal of the philosophy of artificial intelligence and cognitive sciences (2006), 6

See detailInteraction among objects via roles: sessions and affordances in powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Procs. of Principles and Practice of Programming in Java (PPPJ'06) (2006)

See detailpowerJava: ontologically founded roles in object oriented programming language
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Procs. of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06) (2006)

Full Text
See detailRoles as a Coordination Construct: Introducing powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Electronic Notes in Theoretical Computer Science (2006), 150(1), 929

Full Text
See detailBridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages
Baldoni, Matteo; Boella, Guido; van der Torre, Leon

in Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005 (2006)

Full Text
See detailACL Semantics between Social Commitments and Mental Attitudes
Boella, Guido; Damiano, R.; Hulstijn, J.; van der Torre, Leon

Book published by Springer (2006)

See detailRole-Based Semantics for Agent Communication: Embedding of the `Mental Attitudes' and `Social Commitments' Semantics
Boella, Guido; Damiano, R.; Hulstijn, Joris; van der Torre, Leon

in Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06) (2006)

Full Text
See detailModeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation
Boella, Guido; Hulstijn, J.; Tan, Y.; van der Torre, Leon

in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (2006)

Full Text
See detailA Logic of Abstract Argumentation
Boella, Guido; Hulstijn, J.; van der Torre, Leon

in Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers (2006)

See detailThe Roles of Roles in Agent Communication Languages
Boella, Guido; Hulstijn, J.; van der Torre, Leon

in Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06) (2006)

See detailStrengthening Admissible Coalitions
Boella, Guido; Sauro, L.; van der Torre, Leon

in Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)

Full Text
See detailCoordination and Organization: Definitions, Examples and Future Research Directions.
Boella, Guido; van der Torre, Leon

in Electronic Notes in Theoretical Computer Science (2006), 150(3), 320

Full Text
See detailA Game Theoretic Approach to Contracts in Multiagent Systems
Boella, Guido; van der Torre, Leon

in IEEE Transactions on Systems, Man & Cybernetics : Part C - Applications & Reviews (2006), 36(1), 6879

Full Text
See detailSecurity Policies for Sharing Knowledge in Virtual Communities
Boella, Guido; van der Torre, Leon

in IEEE Transactions on Systems, Man & Cybernetics : Part A (2006), 36(3), 439450

See detailPreface
Boella, Guido; van der Torre, Leon

in Electronic Notes in Theoretical Computer Science (2006), 150(3), 12

See detailAn architecture of a normative system
Boella, Guido; van der Torre, Leon

Book published by ACM (2006)

Full Text
See detailA Logical Architecture of a Normative System
Boella, Guido; van der Torre, Leon

in Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (2006)

Full Text
See detailConstitutive Norms in the Design of Normative Multiagent Systems
Boella, Guido; van der Torre, Leon

in Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI) (2006)

Full Text
See detailCount-As Conditionals, Classification and Context
Boella, Guido; van der Torre, Leon

in Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)

Full Text
See detailDelegation of Power in Normative Multiagent Systems
Boella, Guido; van der Torre, Leon

in Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (2006)

See detailFair Distribution of Collective Obligations
Boella, Guido; van der Torre, Leon

in Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06) (2006)

Full Text
See detailGame-Theoretic Foundations for Norms
Boella, Guido; van der Torre, Leon

in Procs. of Artificial Intelligence Studies (2006)

See detailOrganizations in Artificial Social Systems
Boella, Guido; van der Torre, Leon

in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (2006)

Full Text
See detailA Foundational Ontology of Organizations and Roles
Boella, Guido; van der Torre, Leon

in Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06) (2006)

Full Text
See detailIntroduction to normative multiagent systems
Boella, Guido; van der Torre, Leon; Verhagen, H.

in Computational & Mathematical Organization Theory (2006), 12(2-3), 7179

See detailMerging Rules: Preliminary Version
Booth, Richard; Kaci, S.; van der Torre, Leon

Scientific Conference (2006)

See detailFormalisation and Analysis of the Temporal Dynamics of Conditioning
Bosse, T.; Jonker, C.; Los, S.; van der Torre, Leon; Treur, J.

in Agent-Oriented Software Engineering VI (2006)

Full Text
See detailDesign By Contract Deontic Design Language for Multiagent Systems
Garion, C.; van der Torre, Leon

in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (2006)

See detailMerging Optimistic and Pessimistic Preferences
Kaci, S.; van der Torre, Leon

in Proceedings of FUSION 2006 (2006)

See detailPreference reasoning for argumentation: non-monotonicity and algorithms
Kaci, S.; van der Torre, Leon

in Proceedings of the NMR'06 (2006)

See detailAcyclic Argumentation: Attack = Conflict + Preference
Kaci, S.; van der Torre, Leon; Weydert, Emil

in Acyclic Argumentation: Attack = Conflict + Preference (2006)

See detailPermissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
Kaci, Souhila; van der Torre, Leon

in Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings (2006)

See detailUsing XML Transformations for Enterprise Architectures
Stam, A.; Jacob, J.; de Boer, F. S.; Bonsangue, M.; van der Torre, Leon

in Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006)

See detailLandscape Maps for Enterprise Architectures
van der Torre, Leon; Lankhorst, M.; ter Doest, H.; Campschroer, J.; Arbab, Farhad

in Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings (2006)

Top of Page