Prof. Dr. Leon van der Torre
|
|
||||||
| Faculty or Centre | Faculty of Science, Technology and Medicine | ||||||
| Department | Department of Computer Science | ||||||
| Postal Address |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||||
| Campus Office | MNO, E03 0345-080 | ||||||
|
|||||||
| Telephone | (+352) 46 66 44 5261 | ||||||
| Video |
Prof. Leon Van Der Torre (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
2022
Multi-agent Argumentation and Dialogue; ; ;
in IfCoLog Journal of Logics and Their Applications (2022), 9(4), 853-886
Defeasible Deontic Logic: Arguing about Permission and Obligation; ; ;
in IfCoLog Journal of Logics and Their Applications (2022), 9(4), 957-1018
Non-Admissibility in abstract argumentation; ; ;
in Frontiers in Artificial Intelligence and Applications (2022), 353
Reasoning on conflicting information: An empirical study of Formal Argumentation; ; ;
in PLoS ONE (2022), 17(8 August),
Normative Change: An AGM Approach; ; ;
in IfCoLog Journal of Logics and Their Applications (2022), 9(4), 787-852
Detachment in Normative Systems: Examples, Inference Patterns, Properties;
in IfCoLog Journal of Logics and Their Applications (2022), 9(4), 1019-1062
2021
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge; ; ; ; ; ;
in Calvaresi, Davide; Najjar, Amro; Winikoff, Michael; Främling, Kary (Eds.) Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers (2021)
Base Argumentation as an Abstraction of Deductive Argumentation; ;
in Baroni, Pietro; Benzmüller, Christoph; Wáng, Yì N. (Eds.) Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (2021)
New Weak Admissibility Semantics for Abstract Argumentation; ;
in International Conference on Logic and Argumentation (2021)
Populating legal ontologies using semantic role labeling; ; ; ; ; ;
in Artificial Intelligence and Law (2021), 29(2), 171-211
Arguing coalitions in abstract argumentation; ; ; ;
in Liao, Beishui; Luo, Jieting; van der Torre, Leon (Eds.) Logics for New-Generation AI 2021 (2021)
A Principle-based Analysis of Abstract Agent Argumentation Semantics; ; ; ;
in Bienvenu, Meghyn; Lakemeyer, Gerhard; Erdem, Esra (Eds.) Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 (2021)
2020
LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset); ; ; ; ; ; ;
in Data in Brief (2020), 33
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support; ;
in Artificial Intelligence and Law (2020), 287
A Principle-Based Analysis of Weakly Admissible Semantics; ;
in Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020 (2020)
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.; ; ;
in Graphical Models for Security - 7th International Workshop (2020)
Populating legal ontologies using semantic role labeling; ; ; ; ; ;
in Artificial Intelligence and Law (2020)
A bimodal simulation of defeasibility in thenormative domain; ; ;
in CEUR Workshop Proceedings (2020)
Interpretations of Support Among Arguments; ;
in Proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020) (2020, December)
Interpretation of Support among Arguments; ;
in Legal Knowledge and Information Systems – Frontiers in Artificial Intelligence and Application Series (2020)
2019
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability;
in Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019 (2019)
A dynamic approach for combining abstract argumentation semantics; ;
in Dynamics, Uncertainty and Reasoning (2019)
From Classical to Non-monotonic Deontic Logic Using ASPIC+; ; ;
in Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (2019)
Machine Argumentation. Can We Replace Taxi Drivers by Robots?; ; ; ; ;
in Natural Argument, A tribute to John Woods (2019)
2018
A Deontic Logic Reasoning Infrastructure; ;
in Sailing Routes in the World of Computation, 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings (2018)
From Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data; ;
in 21st International Conference on Knowledge Engineering and Knowledge Management (2018)
Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks; ;
in Computational Models of Argument (2018)
Ethics by Design: Necessity or Curse?; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society AIES 2018, New Orleans, LA, USA, February 02-03, 2018 (2018)
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362); ; ;
in Dagstuhl Manifestos (2018), 7(1), 69--95
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders; ;
in AAAI/ACM Artificial Intelligence, Ethics and Society (2018)
Representation Equivalences among Argumentation Frameworks;
in Computational Models of Argument (2018)
Input/output logics with a consistency check;
in Pigozzi, Gabriella; Broersen, Jan; Condoravdi, Cleo; Nair, Shyam (Eds.) Deontic Logic and Normative Systems (DEON 2018) (2018)
Arguing about constitutive and regulative norms;
in Journal of Applied Non-Classical Logics (2018), 28(2-3), 189--217
A comparison between a person and a robot in the attention, imitation, and repetitive and stereotypical behaviors of children with autism spectrum disorder.; ; ; ; ; ;
Scientific Conference (2018)
More Attention and Less Repetitive and Stereotyped Behaviors using a Robot with Children with Autism; ; ; ; ; ;
in 27th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2018, Nanjing, China, August 27-31, 2018 (2018)
Probabilistic Abstract Argumentation Based on SCC Decomposability; ; ;
in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona 30 October - 2 November 2018. (2018)
2017
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL; ; ;
Scientific Conference (2017, July 06)
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural Symbolic Computing as Examples; ; ; ;
in Minds and Machines (2017)
Commitments and interaction norms in organisations; ;
in Autonomous Agents & Multi-Agent Systems (2017), 31(2), 207-249
A partial taxonomy of judgment aggregation rules and their properties; ; ; ;
in Social Choice and Welfare (2017), 48(2), 327--356
Prioritized Norms in Formal Argumentation; ; ;
in Journal of Logic and Computation (2017), abs/1709.08034
Defense semantics of argumentation: encoding reasons for accepting arguments;
E-print/Working paper (2017)
Detachment in Normative Systems: Examples, inference Patterns, Properties;
in IfCoLog Journal of Logics and Their Applications (2017), 4(9), 2295-3039
The pragmatic oddity in a norm-based semantics;
in Governatori, Guido (Ed.) 16th International Conference on Artificial Intelligence & Law (ICAIL-17) (2017, June)
Handling Norms in Multi-Agent System by Means of Formal Argumentation; ; ; ; ; ;
in IfCoLog Journal of Logics and Their Applications (2017)
Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective;
in IfCoLog Journal of Logics and Their Applications (2017)
Rational Enterprise Architecture;
in Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I (2017)
The Principle-Based Approach to Abstract Argumentation Semantics;
in IfCoLog Journal of Logics and Their Applications (2017)
2016
Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law; ; ; ; ;
in Artificial Intelligence and Law (2016)
AGM Contraction and Revision of Rules; ;
in Journal of Logic, Language and Information (2016), 25(3), 273-297
Prioritized Norms and Defaults in Formal Argumentation; ; ;
in Deontic Logic and Normative Systems (2016) (2016)
Complaint Ontology Pattern - COP; ; ; ; ; ;
in Workshop on Ontology and Semantic Web Patterns, Kobe 18 October 2016 (2016)
Modeling relevant legal information for consumer disputes; ; ;
in EGOVIS 2016: Electronic Government and the Information Systems Perspective (2016, September)
Norms and Argumentsin Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. (2016)
2015
Algorithms for tractable compliance problems; ; ; ; ;
in Frontiers of Computer Science (2015), 9(1), 55-74
Classifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling; ; ; ; ; ; ;
in The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015 (2015)
Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation; ; ; ; ;
in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)
AGM Revision of Beliefs about Action and Time; ; ;
in Proceedings of the International Joint Conference on Artificial Intelligence (2015)
Retalis Language for Information Engineering in Autonomous Robot Software; ; ; ;
in IfCoLog Journal of Logics and their Applications (2015), 2(2), 85
2014
On the Input/Output behavior of argumentation frameworks; ; ; ;
in Artificial Intelligence and Law (2014)
A Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice; ; ; ;
in Seventh IEEE Workshop on Requirements Engineering and Law (2014)
Intuitionistic basis for IOL; ;
in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)
Toward a Linguistic Interpretation of Deontic Paradoxes; ; ; ;
in 12th International Conference Deontic Logic and Normative Systems (2014)
Combining Regulative and Constitutive Norms in Input/Output Logic;
in 12th International Conference on Deontic Logic and Normative Systems (2014)
Social Interaction Based Audience Segregation for Online Social Networks.; ; ;
in Proceedings of the European Conference on Social Intelligence (2014)
Encompassing Uncertainty in Argumentation Schemes.; ; ;
in Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014. (2014)
An ASPIC-based legal argumentation framework for deontic reasoning;
in Computational Models of Argument (2014)
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations; ; ; ; ; ;
in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)
2013
Managing legal interpretation in regulatory compliance; ; ; ;
in XIV International Conference on Artificial Intelligence and Law (2013)
Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution; ; ; ; ;
in AICOL (2013)
A logical theory about dynamics in abstract argumentation; ; ;
in Scalable Uncertainty Management - 7th International Conference, SUM 2013 (2013)
Monotonic and non-monotonic inference for abstract argumentation; ; ;
in Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013 (2013)
Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies.; ;
in 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8. (2013, November)
Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies; ;
in AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28. (2013, October 27)
Argumentation Theoretic Foundations for Abstract Dependence Networks; ;
in International Conference on Agreement Technologies, proceedings in Springer LNCS (2013)
Algorithms for Basic Compliance Problems; ; ; ; ;
in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System; ; ; ; ;
in CLIMA (2013)
Input/output logic;
in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff; van der Meyden, Ron (Eds.) Handbook of Deontic Logic (2013)
Agent Programming Languages Requirements for Programming Autonomous Robots; ; ;
in Dastani, Mehdi; Hübner, Jomif; Logan, Brian (Eds.) Programming Multi-Agent Systems (2013)
Event-processing in Autonomous Robot Programming; ; ;
in Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (2013)
A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software; ; ; ;
Poster (2013, May 06)
2012
Dependence Networks for Agreement Technologies; ; ;
in AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies (2012)
NLP Challenges for Eunomos, a Tool to Build and Manage Legal Knowledge; ; ; ;
in Language Resources and Evaluation (LREC) (2012)
Towards Legal Knowledge Management Systems for Regulatory Compliance; ; ; ;
in IX Conference of the Italian Chapter of AIS (2012)
Eunomos, a Legal Document and Knowledge Management System to Build Legal Services; ; ; ;
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)
Conditional acceptance functions; ; ;
in 4th International Conference on Computational Models of Argument (COMMA 2012) (2012)
Discussion Paper: Changing Norms Is Changing Obligation Change; ;
in Deontic Logic in Computer Science (2012)
Abstract Normative Systems: Semantics and Proof Theory; ; ;
in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE (2012)
Visualizing Normative Systems: an Abstract Approach; ; ;
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)
Monitoring Interaction in Organisations; ;
in Proceedings of the 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN@AAMAS 2012) (2012)
A programming approach to monitoring communication in an organisational environment; ;
in AAMAS 2012 (2012)
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII; ; ;
in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012)
Selecting judgment aggregation rules for NAO robots: an experimental approach; ; ;
in Selecting judgment aggregation rules for NAO robots: an experimental approach (2012)
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV; ; ; ;
in Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV (2012)
Changing Agreements: Intention Reconsideration based on Assumptions and Reasons; ;
in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012)
Learning and Reasoning about Norms using Neural-Symbolic Systems; ; ; ; ;
in International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (2012)
Contrary-To-Duties in Games; ; ;
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)
Beyond Maxi-Consistent Argumentation Operators;
in 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 (2012)
Modelling defeasible and prioritized support in bipolar argumentation; ; ;
in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 163-197
A logic of argumentation for specification and verification of abstract argumentation frameworks; ; ;
in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 199-230
Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract); ; ;
Scientific Conference (2012)
2011
Neural Symbolic Architecture for Normative Agents; ; ; ; ;
in In Proceedings of The Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). May, 2011 (2011)
Embedding Normative Reasoning into Neural Symbolic Systems; ; ; ;
in Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning (2011)
A Satisficing Agreements Model; ; ;
in Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (2011)
Conviviality Measures; ; ;
in Proceedings of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011) (2011)
Judgment Aggregation for Cooperative Anchoring on the NAO Robots; ; ;
in Works-in-progress track - 3rd International Conference on Social Robotics (2011)
Judgment aggregation rules based on minimization.; ; ;
in Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (2011, July 12), XIII
Multi-sorted Argumentation; ; ;
in Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011) (2011, July 16), 7132
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems;
in RuleML Europe (2011)
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008);
in Journal of Applied Logic (2011), 9(2), 8182
Attack Semantics for Abstract Argumentation; ;
in Attack Semantics for Abstract Argumentation (2011)
2010
Higher-Order Coalition Logic; ; ;
in Bibliothèque(s) : revue de l'Association des bibliothécaires de France (2010)
Support in Abstract Argumentation; ; ;
in Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10) (2010)
Group Intentions are Social Choice with Commitment; ; ;
in Proceedings of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10) (2010)
Trust in Abstract Argumentation; ;
in Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10) (2010)
Convivial ambient technologies: Requirements, ontology, and design;
in Computer Journal (2010), 53(8), 12291256
Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving; ; ;
in STAIRS 2010 (2010)
Arguing about Trust in Multiagent Systems; ; ;
in Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10) (2010)
2009
A Normative Multiagent Approach to Requirements Engineering; ; ;
in Postproceedings COIN@AAMAS 2009 (2009)
Norm Negotiation in Online Multi-Player Games; ;
in Knowledge & Information Systems (2009), 18(2), 137156
Checking Consistency in role oriented Dependence Networks; ; ;
in BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence (2009)
Social network semantics for agent communication; ;
in Social network semantics for agent communication (2009)
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension; ;
in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings (2009)
Five guidelines for normative multiagent systems; ;
in Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems (2009, December)
Normative systems in computer science. Ten guidelines for normative multiagent systems; ;
in Normative Multi-agent Systems (2009)
Normative framework for normative system change; ;
in Normative framework for normative system change (2009)
Algorithms for finding coalitions exploiting a new reciprocity condition; ;
in Logic Journal of the IGPL (2009), 17(3), 273297
Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics; ;
in Proceedings of COIN (2009)
Analyzing Cooperation in Iterative Social Network Design; ;
in Journal of Universal Computer Science (2009), 15(13),
Four measures for the dynamics of coalitions in social networks; ;
in Four measures for the dynamics of coalitions in social networks (2009)
On the Acceptability of Meta-Arguments; ;
in Proceedings of IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2009)
A Conviviality Measure for Early Requirement Phase of Multiagent System Design;
in Normative Multi-agent Systems (2009)
Temporal Dependence Networks for the Design of Convivial Multiagent Systems;
in Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2009)
The Design of Convivial Multiagent Systems;
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)
A complete conclusion-based procedure for judgment aggregation; ;
in Proceedings of the First International Conference on Algorithmic Decision Theory (ADT) (2009)
Dependency in Cooperative Boolean Games; ;
in Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings (2009)
2008
How to Program Organizations and Roles in the JADE Framework; ; ; ;
in Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (2008)
E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms; ; ;
in Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008) (2008)
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations; ;
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)
Making Others Believe What They Want; ; ;
in Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream (2008)
Substantive and procedural norms in normative multiagent systems;
in Journal of Applied Logic (2008), 6(2), 152171
Institutions with a hierarchy of authorities in distributed dynamic environments;
in Artificial Intelligence and Law (2008), 16(1), 5371
Introduction to the special issue on normative multiagent systems; ;
in Autonomous Agents & Multi-Agent Systems (2008), 17(1), 110
Social Viewpoints for Arguing about Coalitions; ;
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)
Changing Institutional Goals and Beliefs of Autonomous Agents; ;
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)
Self Adaptive Coalitions in Multiagent Systems; ;
in Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008) (2008)
Conditional norms and dyadic obligations;
in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008)
Adding Organizations and Roles as Primitives to JADE Framework; ; ;
in Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08 (2008)
A Normative View on The Blocks World; ;
in Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08) (2008)
Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms;
in Annals of Operations Research (2008), 163(1), 89114
Preference-based argumentation: Arguments supporting multiple values;
in International Journal of Approximate Reasoning (2008), 48(3), 730751
From belief change to preference change;
in Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008) (2008)
Conclusion-based procedure for judgment aggregation satisfying premise independence; ;
in Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008 (2008)
Independence in judgment aggregation; ;
in Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08 (2008)
From belief change to norm change;
in Prague International Colloquium: Logic of change, change of logic, LOCCOL'08 (2008)
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity; ;
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)
2007
Integrating Architectural Models; ; ; ; ;
in Enterprise Modelling and Information Systems Architectures (2007), 1(2), 057
Roles in Coordination and in Agent Deliberation: A Merger of Concepts; ; ;
in Proceedings of AWESOME07 (2007)
Relationships Meet Their Roles in Object Oriented Programming; ;
in International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (2007)
Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects; ;
in Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (2007)
Distinguishing Propositional and Action Commitment in Agent Communication; ; ;
in Proceedings of CMNA'07 (2007)
A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles; ; ;
in Applied Ontology (2007), (2), 217265
What You should Believe; ; ; ;
in Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (2007)
From Social Power to Social Importance; ;
in Web Intelligence and Agent Systems Journal (2007), (5), 393404
Power in Norm Negotiation;
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)
Norm negotiation in multiagent systems;
in International Journal of Cooperative Information Systems (2007), 16(2),
On the Acceptability of Incompatible Arguments; ;
in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings (2007)
Premise Independence in Judgment Aggregation;
in Formal Models of Belief Change in Rational Agents (2007)
The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles;
in Artificial Intelligence and Law (2007), 15(3), 201221
An Attacker Model for Normative Multi-agent Systems;
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)
2006
Modelling the Interaction Between Objects: Roles as Affordances; ;
in Knowledge Science, Engineering and Management, First International Conference, KSEM 2006 (2006)
I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli; ;
in Networks: Rivista di Filosofia del l'Intelligenza Artificiale e Scienze Cognitive (2006), 6
Roles as a Coordination Construct: Introducing powerJava; ;
in Electronic Notes in Theoretical Computer Science (2006), 150(1), 929
Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages; ;
in Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005 (2006)
powerJava: ontologically founded roles in object oriented programming language; ;
in Proceedings of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06) (2006)
Interaction among objects via roles: sessions and affordances in powerJava; ;
in Proceedings of Principles and Practice of Programming in Java (PPPJ'06) (2006)
ACL Semantics between Social Commitments and Mental Attitudes; ; ;
Book published by Springer (2006)
Role-Based Semantics for Agent Communication: Embedding of the `Mental Attitudes' and `Social Commitments' Semantics; ; ;
in Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06) (2006)
Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation; ; ;
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)
A Logic of Abstract Argumentation; ;
in Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers (2006)
The Roles of Roles in Agent Communication Languages; ;
in Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06) (2006)
Strengthening Admissible Coalitions; ;
in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)
Coordination and Organization: Definitions, Examples and Future Research Directions.;
in Electronic Notes in Theoretical Computer Science (2006), 150(3), 320
A Game Theoretic Approach to Contracts in Multiagent Systems;
in IEEE Transactions on Systems, Man and Cybernetics. Part C, Applications and Reviews (2006), 36(1), 6879
Security Policies for Sharing Knowledge in Virtual Communities;
in IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans (2006), 36(3), 439450
A Logical Architecture of a Normative System;
in Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (2006)
Constitutive Norms in the Design of Normative Multiagent Systems;
in Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI) (2006)
Delegation of Power in Normative Multiagent Systems;
in Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06) (2006)
Organizations in Artificial Social Systems;
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)
A Foundational Ontology of Organizations and Roles;
in Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06) (2006)
Count-As Conditionals, Classification and Context;
in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)
Fair Distribution of Collective Obligations;
in Proceedings of the 17th European Conference on Artificial Intelligence(ECAI'06) (2006)
Introduction to normative multiagent systems; ;
in Computational and Mathematical Organization Theory (2006), 12(2-3), 7179
Formalisation and Analysis of the Temporal Dynamics of Conditioning; ; ; ;
in Agent-Oriented Software Engineering VI (2006)
Design By Contract Deontic Design Language for Multiagent Systems;
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)
Preference reasoning for argumentation: non-monotonicity and algorithms;
in Proceedings of the NMR'06 (2006)
Acyclic Argumentation: Attack = Conflict + Preference; ;
in Acyclic Argumentation: Attack = Conflict + Preference (2006)
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.;
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)
Using XML Transformations for Enterprise Architectures; ; ; ;
in Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006)
Landscape Maps for Enterprise Architectures; ; ; ;
in Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings (2006)
