Search results for "normative systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge	Power in normative systems.	AAMAS	2009	DBLP DOI BibTeX RDF	complexity, logic, normative systems, coalitional games
3	Pilar Dellunde	On the Multimodal Logic of Normative Systems.	COIN	2007	DBLP DOI BibTeX RDF	Fusions of Logics, Multimodal Logics, Sahlqvist Formulas, Multi-Agent Systems, Normative Systems, Model Theory
3	Paolo Petta	Emotion Models for Situated Normative Systems?.	DEON	2006	DBLP DOI BibTeX RDF
3	Lars Lindahl, Jan Odelstad	Intermediate Concepts in Normative Systems.	DEON	2006	DBLP DOI BibTeX RDF
2	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
2	Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge	Multi-Modal CTL: Completeness, Complexity, and an Application.	Studia Logica	2009	DBLP DOI BibTeX RDF	Computation Tree Logic (ctl), Social Laws, Normative Systems
2	Lars Lindahl, Jan Odelstad	Strata of Intervenient Concepts in Normative Systems.	DEON	2008	DBLP DOI BibTeX RDF	Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system
2	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
2	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Normative system games.	AAMAS	2007	DBLP DOI BibTeX RDF	complexity, games, logic, goals, normative systems
2	Guido Boella, Leendert W. N. van der Torre	Delegation of Power in Normative Multiagent Systems.	DEON	2006	DBLP DOI BibTeX RDF
2	Adam Zachary Wyner	Sequences, Obligations, and the Contrary-to-Duty Paradox.	DEON	2006	DBLP DOI BibTeX RDF
2	Guido Boella, Leendert W. N. van der Torre	An architecture of a normative system: counts-as conditionals, obligations and permissions.	AAMAS	2006	DBLP DOI BibTeX RDF	MAS theory, normative multi-agent systems, normative systems
2	Lars Lindahl, Jan Odelstad	Normative Systems and their Revision: An Algebraic Approach.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	Alchourrón, Boolean quasi-ordering, Bulygin, connecting norm, defeasibility, norm revision, organic whole, normative system
2	Guido Boella, Leendert W. N. van der Torre	Attributing mental attitudes to normative systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent theory, qualitative game theory, normative systems
2	Arnold A. Johanson	The Logic of Normative Systems.	DEON	1996	DBLP BibTeX RDF
1	Lars Lindahl, Jan Odelstad	Stratification of normative systems with intermediaries.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota	Normative Systems Represented as Hybrid Knowledge Bases.	CLIMA	2011	DBLP DOI BibTeX RDF
1	Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard	A Dynamic Logic of Normative Systems.	IJCAI	2011	DBLP BibTeX RDF
1	Jun Wu, Chongjun Wang, Junyuan Xie	A framework for coalitional normative systems.	AAMAS	2011	DBLP BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Robust normative systems and a logic of norm compliance.	Logic Journal of the IGPL	2010	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek	Reasoning about Normative Systems.	JURIX	2010	DBLP DOI BibTeX RDF
1	Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, Nir Oren, Simon Miles, Michael Luck	A framework for monitoring agent-based normative systems.	AAMAS	2009	DBLP DOI BibTeX RDF	monitoring, norms, electronic contracts
1	Felipe Rech Meneguzzi, Michael Luck	Norm-based behaviour modification in BDI agents.	AAMAS	2009	DBLP DOI BibTeX RDF	norms, BDI
1	Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt	Specifying norm-governed computational societies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	agent, policy, norm, executable specification, event calculus, Action language, contract-net
1	Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini	Dynamic Context Logic.	LORI	2009	DBLP DOI BibTeX RDF
1	Owen Cliffe, Marina De Vos, Julian A. Padget	Modelling Normative Frameworks Using Answer Set Programing.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Paul Davidsson, Andreas Jacobsson	Towards Norm-Governed Behavior in Virtual Enterprises.	Intelligent Agents in the Evolution of Web and Applications	2009	DBLP DOI BibTeX RDF
1	Lars Lindahl, Jan Odelstad	Intermediaries and intervenients in normative systems.	J. Applied Logic	2008	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Robust normative systems.	AAMAS	2008	DBLP DOI BibTeX RDF
1	Audun Stolpe	Normative Consequence: The Problem of Keeping It Whilst Giving It up.	DEON	2008	DBLP DOI BibTeX RDF	input/output logic, dynamics, Normative systems
1	Andrew J. I. Jones, Xavier Parent	Normative-informational positions: a modal-logical approach.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Modal and deontic logic, Theory of normative positions, Regulation of information flow, Norms for information agents, Normative systems
1	Fábio de Lima Bezerra, Jacques Wainer	Anomaly detection algorithms in logs of process aware systems.	SAC	2008	DBLP DOI BibTeX RDF	anomaly detection, information security, process mining
1	Georgios K. Giannikis, Aspassia Daskalopulu	How Can Agents Know What to Assume When?	IAT	2008	DBLP DOI BibTeX RDF
1	Benoit Lacroix, Philippe Mathieu, Andras Kemeny	The Use of Norms Violations to Model Agents Behavioral Variety.	COIN@AAMAS&AAAI	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	Rossella Rubino, Giovanni Sartor	Source Norms and Self-regulated Institutions.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	self-regulated institutions, source-norms, recognition rules, normative production
1	Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge	On the Logic of Normative Systems.	IJCAI	2007	DBLP BibTeX RDF
1	Régis Riveret, Antonino Rotolo, Guido Governatori	Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge	On the Logic of Normative Systems.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Paul Davidsson, Andreas Jacobsson	Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises.	Normative Multi-agent Systems	2007	DBLP BibTeX RDF
1	Luigi Logrippo	Normative Systems: the meeting point between Jurisprudence and Information Technology? - A position paper.	SoMeT	2007	DBLP BibTeX RDF
1	Pilar Dellunde	On the Multimodal Logic of Elementary Normative Systems.	CCIA	2007	DBLP BibTeX RDF
1	Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer	Designing protocols for agent institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, electronic institutions, normative systems
1	Patrice Caire	A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities.	COIN	2007	DBLP DOI BibTeX RDF	Conviviality, multi-agent systems, social computing, normative systems, digital cities
1	Shazia Wasim Sadiq, Guido Governatori, Kioumars Namiri	Modeling Control Objectives for Business Process Compliance.	BPM	2007	DBLP DOI BibTeX RDF	Risk, Compliance, Internal Controls, Business Process Design
1	Jan Broersen, Leendert van der Torre	Reasoning about Norms, Obligations, Time and Agents.	PRIMA	2007	DBLP DOI BibTeX RDF
1	Lou Goble, John-Jules Ch. Meyer (eds.)	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	DEON	2006	DBLP BibTeX RDF
1	Lars Lindahl, Jan Odelstad	Open and Closed Intermediaries in Normative Systems.	JURIX	2006	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	A Logical Architecture of a Normative System.	DEON	2006	DBLP DOI BibTeX RDF
1	Gert-Jan C. Lokhorst	Propositional Quantifiers in Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Andrew J. I. Jones, Steven O. Kimbrough	On the Normative Aspect of Signalling Conventions.	DEON	2006	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Bozena Wozna	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.	DEON	2006	DBLP DOI BibTeX RDF
1	Barteld P. Kooi, Allard M. Tamminga	Conflicting Obligations in Multi-agent Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Robert Demolombe, Vincent Louis	Speech Acts with Institutional Effects in Agent Societies.	DEON	2006	DBLP DOI BibTeX RDF
1	Souhila Kaci, Leendert W. N. van der Torre	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.	DEON	2006	DBLP DOI BibTeX RDF
1	Mark A. Brown	Acting with an End in Sight.	DEON	2006	DBLP DOI BibTeX RDF
1	Katie Atkinson, Trevor J. M. Bench-Capon	Addressing Moral Problems Through Practical Reasoning.	DEON	2006	DBLP DOI BibTeX RDF
1	Jesse Hughes, Lambèr M. M. Royakkers	Don't Ever Do That! Long-Term Duties in PDeL.	DEON	2006	DBLP DOI BibTeX RDF
1	Marek J. Sergot, Robert Craven	The Deontic Component of Action Language nC+.	DEON	2006	DBLP DOI BibTeX RDF
1	José Carmo	Roles, Counts-as and Deontic and Action Logics.	DEON	2006	DBLP DOI BibTeX RDF
1	Davide Grossi, John-Jules Ch. Meyer, Frank Dignum	Counts-as: Classification or Constitution? An Answer Using Modal Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Jan Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
1	Thomas Müller	A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.	DEON	2006	DBLP DOI BibTeX RDF
1	Frank Dignum	Norms and Electronic Institutions.	DEON	2006	DBLP DOI BibTeX RDF
1	Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali	A State/Event Temporal Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Huib Aldewereld, Frank Dignum, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra	Operationalisation of norms for usage in electronic institutions.	AAMAS	2006	DBLP DOI BibTeX RDF	norms, electronic institutions, normative systems
1	Guido Boella, Leendert W. N. van der Torre	A game theoretic approach to contracts in multiagent systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2006	DBLP DOI BibTeX RDF
1	Tamaki Horii, Yan Jin, Raymond E. Levitt	Impact of Multiple Normative Systems on Organization Performance of International Joint Ventures.	NORMAS	2005	DBLP BibTeX RDF
1	Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer	Norm compliance of protocols in electronic institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	formal logic, protocol verification, normative systems
1	Guido Boella, Leendert W. N. van der Torre	Enforceable social laws.	AAMAS	2005	DBLP DOI BibTeX RDF	MAS theory, normative multiagent systems, normative systems, artificial social systems
1	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages.	IAT	2005	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Role-based Rights in Arti.cial Social Systems.	IAT	2005	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Constitutive Norms in the Design of Normative Multiagent Systems.	CLIMA	2005	DBLP DOI BibTeX RDF
1	Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, Enrico Ronchetti, Maria Rita Scalas, Paolo Tiberio	Personalized Access to Multi-version Norm Texts in an eGovernment Scenario.	EGOV	2005	DBLP DOI BibTeX RDF
1	Lars Lindahl, Jan Odelstad	Normative positions within an algebraic approach to normative systems.	J. Applied Logic	2004	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen	Specifying Multiagent Organizations.	DEON	2004	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Organizations as Socially Constructed Agents in the Agent Oriented Paradigm.	ESAW	2004	DBLP DOI BibTeX RDF
1	Eduardo Alonso	Rights and Argumentation in Open Multi-Agent Systems.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	social action, multi-agent systems, coordination, argumentation, rights
1	Jan Odelstad, Magnus Boman	Algebras for Agent Norm-Regulation.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	norm-regulated system, normative position, multi-agent system, agent architecture, norm, Boolean algebra
1	Guido Boella, Leendert W. N. van der Torre	Permissions and Obligations in Hierarchical Normative Systems.	ICAIL	2003	DBLP BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents.	IAT	2003	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Obligations as Social Constructs.	AI*IA	2003	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Decentralized Control: Obligations and Permissions in Virtual Communities of Agents.	ISMIS	2003	DBLP DOI BibTeX RDF
1	Monica Palmirani, Raffaella Brighi	Norma-System: A Legal Document System for Managing Consolidated Acts.	DEXA	2002	DBLP DOI BibTeX RDF
1	Eduardo Alonso	Rights for Multi-agent Systems.	Foundations and Applications of Multi-Agent Systems	2002	DBLP DOI BibTeX RDF
1	Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert	Temporal Reasoning: An Application to Normative Systems. (PDF / PS)	TIME	2001	DBLP DOI BibTeX RDF
1	Marek J. Sergot	A computational theory of normative positions.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic of action, logic of agency, theory of duties and rights, deontic logic, normative systems
1	Mark A. Brown, José Carmo (eds.)	Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996	DEON	1996	DBLP BibTeX RDF
1	Simon Parsons	Defining Normative Systems for Qualitative Argumentation.	FAPR	1996	DBLP DOI BibTeX RDF
1	Filipe Santos, José Carmo	Indirect Action, Influence and Responsibility.	DEON	1996	DBLP BibTeX RDF
1	Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper	A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.	DEON	1996	DBLP BibTeX RDF
1	Layman E. Allen	From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations.	DEON	1996	DBLP BibTeX RDF
1	Alberto Artosi, Guido Governatori, Giovanni Sartor	Towards a Computational Treatment of Deontic Defeasibility.	DEON	1996	DBLP BibTeX RDF
1	John F. Horty	Combining Agency and Obligation (Preliminary Version).	DEON	1996	DBLP BibTeX RDF
1	Mark A. Brown	Doing as We Ought: Towards a Logic of Simply Dischargeable Obligations.	DEON	1996	DBLP BibTeX RDF
1	Paul McNamara	Must I Do What I Ought? (Or Will the Least I Can Do Do?).	DEON	1996	DBLP BibTeX RDF
1	Christen Krogh, Henning Herrestad	Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation.	DEON	1996	DBLP BibTeX RDF
1	Lambèr M. M. Royakkers, Frank Dignum	Defeasible Reasoning with Legal Rules.	DEON	1996	DBLP BibTeX RDF
1	Frédéric Cuppens, Robert Demolombe	A Deontic Logic for Reasoning about Confidentiality.	DEON	1996	DBLP BibTeX RDF
1	Yao-Hua Tan, Leendert W. N. van der Torre	How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences.	DEON	1996	DBLP BibTeX RDF