Search results for "Leendert van der Torre"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto	Contrary-To-Duties in Games.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre	Time and defeasibility in FIPA ACL semantics.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Guido Boella, Leendert van der Torre	A dynamic logic for privacy compliance.	Artif. Intell. Law	2011	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata	Conditional Labelling for Abstract Argumentation.	TAFA	2011	DBLP DOI BibTeX RDF
1	Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre	Multi-sorted Argumentation.	TAFA	2011	DBLP DOI BibTeX RDF
1	Serena Villata, Guido Boella, Leendert van der Torre	Attack Semantics for Abstract Argumentation.	IJCAI	2011	DBLP BibTeX RDF
1	Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre	Arguing about the Trustworthiness of the Information Sources.	ECSQARU	2011	DBLP DOI BibTeX RDF
1	Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre	A Satisficing Agreements Model.	Web Intelligence/IAT Workshops	2011	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata	Argumentative Agents Negotiating on Potential Attacks.	KES-AMSTA	2011	DBLP DOI BibTeX RDF
1	Antonino Rotolo, Leendert van der Torre	Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems.	RuleML Europe	2011	DBLP DOI BibTeX RDF
1	Patrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera	Conviviality measures.	AAMAS	2011	DBLP BibTeX RDF
1	Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre	Neural symbolic architecture for normative agents.	AAMAS	2011	DBLP BibTeX RDF
1	Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre	Dynamics in Delegation and Revocation Schemes: A Logical Approach.	DBSec	2011	DBLP DOI BibTeX RDF
1	Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre	Judgment aggregation rules based on minimization.	TARK	2011	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Leon van der Torre	Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008).	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.)	Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings	CLIMA	2011	DBLP DOI BibTeX RDF
1	Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre	The role of goals in belief selection.	Logic Journal of the IGPL	2010	DBLP DOI BibTeX RDF
1	Patrice Caire, Leendert van der Torre	Convivial Ambient Technologies: Requirements, Ontology and Design.	Comput. J.	2010	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Guido Boella, Leendert van der Torre	Privacy Policies with Modal Logic: The Dynamic Turn.	DEON	2010	DBLP DOI BibTeX RDF
1	Leendert van der Torre	Deontic Redundancy: A Fundamental Challenge for Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre	Higher-Order Coalition Logic.	ECAI	2010	DBLP DOI BibTeX RDF
1	Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre	A Logical Understanding of Legal Interpretation.	KR	2010	DBLP BibTeX RDF
1	Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre	Group Intention Is Social Choice with Commitment.	COIN@AAMAS&amp;MALLOW	2010	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre	Violation games: a new foundation for deontic logic.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre	Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.	STAIRS	2010	DBLP DOI BibTeX RDF
1	Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata	Support in Abstract Argumentation.	COMMA	2010	DBLP DOI BibTeX RDF
1	Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre	Group Intention = Social Choice + Commitment.	MALLOW	2010	DBLP BibTeX RDF
1	Guido Boella, Patrice Caire, Leendert van der Torre	Norm negotiation in online multi-player games.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Multi-player online games, Normative multi-agent systems, Social delegation cycle, Dependence networks, Agent communication protocols
1	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre	Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Access Control, Logic, Trust Management, Language-based Security
1	Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata	Meta-Argumentation Modelling I: Methodology and Techniques.	Studia Logica	2009	DBLP DOI BibTeX RDF	Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning
1	Dov M. Gabbay, Leendert van der Torre	Preface for Studia Logica Special Issue (2).	Studia Logica	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Gabriella Pigozzi, Leendert van der Torre	Five Guidelines for Normative Multiagent Systems.	JURIX	2009	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Guido Boella, Leendert van der Torre	Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic.	AICOL Workshops	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre	Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation.	AICOL Workshops	2009	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert van der Torre	The Interplay between Relationships, Roles and Objects.	FSEN	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Souhila Kaci, Leendert van der Torre	Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata	Representing Excuses in Social Dependence Networks.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert van der Torre, Serena Villata	On the Acceptability of Meta-arguments.	IAT	2009	DBLP DOI BibTeX RDF
1	Luigi Sauro, Leendert van der Torre, Serena Villata	Dependency in Cooperative Boolean Games.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre	A Middleware for Modeling Organizations and Roles in Jade.	PROMAS	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert van der Torre, Serena Villata	Four measures for the dynamics of coalitions in social networks.	Hypertext	2009	DBLP DOI BibTeX RDF	social dependence networks, measures, requirements engineering
1	Guido Boella, Souhila Kaci, Leendert van der Torre	Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version).	ArgMAS	2009	DBLP DOI BibTeX RDF
1	Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre	A Complete Conclusion-Based Procedure for Judgment Aggregation.	ADT	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Gabriella Pigozzi, Leendert van der Torre	Normative framework for normative system change.	AAMAS	2009	DBLP DOI BibTeX RDF	input/output logic, norm change, belief revision, normative systems
1	Guido Boella, Joris Hulstijn, Leendert van der Torre	Social network semantics for agent communication.	AAMAS	2009	DBLP DOI BibTeX RDF
1	Patrice Caire, Leendert van der Torre	Temporal dependence networks for the design of convivial multiagent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	TROPOS, conviviality, multiagent systems, dependence networks
1	Guido Boella, Souhila Kaci, Leendert van der Torre	Dynamics in argumentation with single extensions: attack refinement and the grounded extension.	AAMAS	2009	DBLP DOI BibTeX RDF	abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory
1	Guido Boella, Leendert van der Torre, Serena Villata	Conditional Dependence Networks in Requirements Engineering.	COIN@AAMAS&amp;IJCAI&amp;MALLOW	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Luigi Sauro, Leendert W. N. van der Torre	Algorithms for finding coalitions exploiting a new reciprocity condition.	Logic Journal of the IGPL	2009	DBLP DOI BibTeX RDF
1	Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre	Programming Normative Artifacts with Declarative Obligations and Prohibitions.	IAT	2009	DBLP DOI BibTeX RDF
1	Guido Boella, Leon van der Torre, Serena Villata	Analyzing Cooperation in Iterative Social Network Design.	J. UCS	2009	DBLP BibTeX RDF
1	Guido Boella, Leon van der Torre, Serena Villata	Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics.	MALLOW	2009	DBLP BibTeX RDF
1	Guido Boella, Leendert van der Torre	Substantive and procedural norms in normative multiagent systems.	J. Applied Logic	2008	DBLP DOI BibTeX RDF
1	Souhila Kaci, Leendert van der Torre	Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms.	Annals OR	2008	DBLP DOI BibTeX RDF	Logic of preferences, Preference logic
1	Guido Boella, Leendert van der Torre	Institutions with a hierarchy of authorities in distributed dynamic environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Institutions, Permissions, Normative systems
1	Souhila Kaci, Leendert van der Torre	Preference-based argumentation: Arguments supporting multiple values.	Int. J. Approx. Reasoning	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert van der Torre, Harko Verhagen	Introduction to the special issue on normative multiagent systems.	Autonomous Agents and Multi-Agent Systems	2008	DBLP DOI BibTeX RDF	Normative multiagent systems, Social mechanism design, Artifical social systems, Multiagent Systems, Norms
1	Ron van der Meyden, Leendert van der Torre (eds.)	Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings	DEON	2008	DBLP BibTeX RDF
1	Guido Boella, Leendert van der Torre, Serena Villata	Self Adaptive Coalitions in Multiagent Systems.	SASO	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert van der Torre	Making Others Believe What They Want.	IFIP AI	2008	DBLP DOI BibTeX RDF
1	Jérôme Lang, Leendert van der Torre	From Belief Change to Preference Change.	ECAI	2008	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert van der Torre	Conditional Norms and Dyadic Obligations in Time.	ECAI	2008	DBLP DOI BibTeX RDF
1	Jérôme Lang, Leendert van der Torre	Preference Change Triggered by Belief Change: A Principled Approach.	LOFT	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre	Time and Defeasibility in FIPA ACL Semantics.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre	How to Program Organizations and Roles in the JADE Framework.	MATES	2008	DBLP DOI BibTeX RDF
1	Patrice Caire, Serena Villata, Guido Boella, Leendert van der Torre	Conviviality masks in multiagent systems.	AAMAS	2008	DBLP DOI BibTeX RDF
1	Yi Zhou, Leendert van der Torre, Yan Zhang	Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity.	AAMAS	2008	DBLP DOI BibTeX RDF
1	Davide Grossi, Dov M. Gabbay, Leendert van der Torre	A Normative View on the Blocks World.	NORMAS	2008	DBLP BibTeX RDF
1	Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert van der Torre	Adding Organizations and Roles as Primitives to JADE Framework.	NORMAS	2008	DBLP BibTeX RDF
1	Guido Boella, Leendert van der Torre, Serena Villata	Changing Institutional Goals and Beliefs of Autonomous Agents.	PRIMA	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Jan Broersen, Leendert van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert van der Torre, Serena Villata	Social Viewpoints for Arguing about Coalitions.	PRIMA	2008	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert van der Torre	Norm Negotiation in Multiagent Systems.	Int. J. Cooperative Inf. Syst.	2007	DBLP DOI BibTeX RDF
1	Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre	Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.	Enterprise Modelling and Information Systems Architectures	2007	DBLP BibTeX RDF
1	Guido Boella, Leendert van der Torre, Harko Verhagen	Roles, an interdisciplinary perspective.	Applied Ontology	2007	DBLP BibTeX RDF
1	Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert van der Torre	A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles.	Applied Ontology	2007	DBLP BibTeX RDF
1	Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert van der Torre, Jan Treur	Formal analysis of trace conditioning.	Cognitive Systems Research	2007	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert van der Torre	Relationships Meet Their Roles in Object Oriented Programming.	FSEN	2007	DBLP DOI BibTeX RDF
1	Jérôme Lang, Leendert van der Torre	From belief change to preference change.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
1	Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre	Choosing Your Beliefs.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Gabriella Pigozzi, Leendert van der Torre	Premise Independence in Judgment Aggregation.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
1	Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre	Contextual deliberation of cognitive agents in defeasible logic.	AAMAS	2007	DBLP DOI BibTeX RDF	rule-based systems, defeasible logic, cognitive agents
1	Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre	Merging Roles in Coordination and in Agent Deliberation.	PRIMA	2007	DBLP DOI BibTeX RDF	O.O. Modeling, Security, MAS, Organizations, Roles
1	Jan Broersen, Leendert van der Torre	Reasoning about Norms, Obligations, Time and Agents.	PRIMA	2007	DBLP DOI BibTeX RDF
1	Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre	Contextual Agent Deliberation in Defeasible Logic.	PRIMA	2007	DBLP DOI BibTeX RDF
1	Guido Boella, Luigi Sauro, Leendert W. N. van der Torre	From social power to social importance.	Web Intelligence and Agent Systems	2007	DBLP BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	Interaction between Objects in powerJava.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	input/output logics, ontologies, multi-agent systems, social roles
1	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	Adding Roles to Relationship Patterns.	WOA	2007	DBLP BibTeX RDF
1	Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert	On the Acceptability of Incompatible Arguments.	ECSQARU	2007	DBLP DOI BibTeX RDF
1	Jan Broersen, Leendert W. N. van der Torre	What an Agent Ought To Do.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre, Harko Verhagen	Introduction to Normative Multiagent Systems.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Jörg Hansen, Gabriella Pigozzi, Leendert W. N. van der Torre	Ten Philosophical Problems in Deontic Logic.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre, Harko Verhagen (eds.)	Normative Multi-agent Systems, 18.03. - 23.03.2007	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	David Makinson, Leendert W. N. van der Torre	What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Guido Boella, Harko Verhagen, Leendert W. N. van der Torre	07122 Abstracts Collection - Normative Multi-agent Systems.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	A Game-Theoretic Approach to Normative Multi-Agent Systems.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Power in Norm Negotiation.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	An Attacker Model for Normative Multi-agent Systems.	CEEMAS	2007	DBLP DOI BibTeX RDF

Publications of Leendert van der Torre Leendert W. N. van der Torre Leon van der Torre ( http://dblp.L3S.de/Authors/Leendert_van_der_Torre )