Search results for "DEON"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Martin Rechenauer, Olivier Roy	The Logical Structure of Scanlon's Contractualism.	DEON	2014	DBLP DOI BibTeX RDF
1	Xin Sun 0001, Leendert W. N. van der Torre	Combining Constitutive and Regulative Norms in Input/Output Logic.	DEON	2014	DBLP DOI BibTeX RDF
1	Erica Calardo, Guido Governatori, Antonino Rotolo	A Preference-Based Semantics for CTD Reasoning.	DEON	2014	DBLP DOI BibTeX RDF
1	Andrew J. I. Jones	Ingmar Pörn - In Memoriam.	DEON	2014	DBLP DOI BibTeX RDF
1	Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen	Detecting Deontic Conflicts in Dynamic Settings.	DEON	2014	DBLP DOI BibTeX RDF
1	Eugenio Orlandelli	Proof Analysis in Deontic Logics.	DEON	2014	DBLP DOI BibTeX RDF
1	Ricardo Gonçalves 0001, José Júlio Alferes	An Embedding of Input-Output Logic in Deontic Logic Programs.	DEON	2012	DBLP DOI BibTeX RDF
1	Paolo Turrini	Agreements as Norms.	DEON	2012	DBLP DOI BibTeX RDF
1	Guido Governatori, Antonino Rotolo, Erica Calardo	Possible World Semantics for Defeasible Deontic Logic.	DEON	2012	DBLP DOI BibTeX RDF
1	Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl	The Logic of Obligation as Weakest Permission - (Short Version).	DEON	2012	DBLP DOI BibTeX RDF
1	Piotr Kulicki, Robert Trypuz	A Deontic Action Logic with Sequential Composition of Actions.	DEON	2012	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations.	DEON	2012	DBLP DOI BibTeX RDF
1	Régis Riveret, Antonino Rotolo, Giovanni Sartor	Norms and Learning in Probabilistic Logic-Based Agents.	DEON	2012	DBLP DOI BibTeX RDF
1	Louwe B. Kuijer	Sanction Semantics and Contrary-to-Duty Obligations.	DEON	2012	DBLP DOI BibTeX RDF
1	Christian Straßer, Mathieu Beirlaen	An Andersonian Deontic Logic with Contextualized Sanctions.	DEON	2012	DBLP DOI BibTeX RDF
1	Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard	A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.	DEON	2012	DBLP DOI BibTeX RDF
1	Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre	Discussion Paper: Changing Norms Is Changing Obligation Change.	DEON	2012	DBLP DOI BibTeX RDF
1	Emiliano Lorini	On the Logical Foundations of Moral Agency.	DEON	2012	DBLP DOI BibTeX RDF
1	Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata	Visualizing Normative Systems: An Abstract Approach.	DEON	2012	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Jan M. Broersen, Dag Elgesem (eds.)	Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings	DEON	2012	DBLP DOI BibTeX RDF
1	Robert Demolombe	Causality in the Context of Multiple Agents.	DEON	2012	DBLP DOI BibTeX RDF
1	Rosaria Conte, Giulia Andrighetto, Daniel Villatoro	From Norm Adoption to Norm Internalization.	DEON	2010	DBLP DOI BibTeX RDF
1	Robert Demolombe	Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents.	DEON	2010	DBLP DOI BibTeX RDF
1	Gert-Jan C. Lokhorst	Where Did Mally Go Wrong?	DEON	2010	DBLP DOI BibTeX RDF
1	Johan van Benthem, Davide Grossi, Fenrong Liu	Deontics = Betterness + Priority.	DEON	2010	DBLP DOI BibTeX RDF
1	Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer	Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.	DEON	2010	DBLP DOI BibTeX RDF
1	Marek J. Sergot	Norms, Action and Agency in Multi-agent Systems.	DEON	2010	DBLP DOI BibTeX RDF
1	Richard Evans	Introducing Exclusion Logic as a Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Obligations and Prohibitions in Talmudic Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Phan Minh Dung, Giovanni Sartor	A Logical Model of Private International Law.	DEON	2010	DBLP DOI BibTeX RDF
1	Rosja Mastop	Characterising Responsibility in Organisational Structures: The Problem of Many Hands.	DEON	2010	DBLP DOI BibTeX RDF
1	Emiliano Lorini	A Logical Analysis of Commitment Dynamics.	DEON	2010	DBLP DOI BibTeX RDF
1	Antonino Rotolo	Retroactive Legal Changes and Revision Theory in Defeasible Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte	Avoiding Deontic Explosion by Contextually Restricting Aggregation.	DEON	2010	DBLP DOI BibTeX RDF
1	Guillaume Piolle	A Dyadic Operator for the Gradation of Desirability.	DEON	2010	DBLP DOI BibTeX RDF
1	Robert Trypuz, Piotr Kulicki	Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra.	DEON	2010	DBLP DOI BibTeX RDF
1	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	Axioms for Obligation and Robustness with Temporal Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Michele Taruffo	Towards a Logical Analysis of the Judgment on Facts.	DEON	2010	DBLP DOI BibTeX RDF
1	Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan	Value-Based Argumentation for Justifying Compliance.	DEON	2010	DBLP DOI BibTeX RDF
1	Audun Stolpe	Relevance, Derogation and Permission.	DEON	2010	DBLP DOI BibTeX RDF
1	Xavier Parent	Moral Particularism and Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre	Deontic Redundancy: A Fundamental Challenge for Deontic Logic.	DEON	2010	DBLP DOI BibTeX RDF
1	Guido Governatori, Giovanni Sartor (eds.)	Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings	DEON	2010	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre	Privacy Policies with Modal Logic: The Dynamic Turn.	DEON	2010	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	Mark A. Brown	Acting, Events and Actions.	DEON	2008	DBLP DOI BibTeX RDF
1	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
1	Joris Hulstijn, Jianwei Liu 0007, Yao-Hua Tan	Delegation of Control in Administrative Procedures.	DEON	2008	DBLP DOI BibTeX RDF	administrative procedures, evidence documents, trust
1	Jan M. Broersen	A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.	DEON	2008	DBLP DOI BibTeX RDF
1	Emiliano Lorini, Robert Demolombe	Trust and Norms in the Context of Computer Security: A Logical Formalization.	DEON	2008	DBLP DOI BibTeX RDF
1	Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini	A Deontic Logic for Socially Optimal Norms.	DEON	2008	DBLP DOI BibTeX RDF
1	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
1	Martín Abadi	Variations in Access Control Logic.	DEON	2008	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Leendert W. N. van der Torre (eds.)	Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings	DEON	2008	DBLP DOI BibTeX RDF
1	Nuel Belnap	Norms in Branching Space-Times.	DEON	2008	DBLP DOI BibTeX RDF
1	Dov M. Gabbay	Reactive Kripke Models and Contrary to Duty Obligations.	DEON	2008	DBLP DOI BibTeX RDF
1	Joris Hulstijn	Need to Know: Questions and the Paradox of Epistemic Obligation.	DEON	2008	DBLP DOI BibTeX RDF
1	Ross J. Anderson	Information Security Economics - and Beyond.	DEON	2008	DBLP DOI BibTeX RDF
1	Guido Governatori, Antonino Rotolo	Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.	DEON	2008	DBLP DOI BibTeX RDF
1	Davide Grossi	Pushing Anderson's Envelope: The Modal Logic of Ascription.	DEON	2008	DBLP DOI BibTeX RDF	Anderson’s reduction, counts-as, ascription, Jørgensen’s dilemma, Modal logic
1	Nora Cuppens-Boulahia, Frédéric Cuppens	Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic.	DEON	2008	DBLP DOI BibTeX RDF
1	Pilar Dellunde, Lluís Godo	Introducing Grades in Deontic Logics.	DEON	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Norms, Institutions, Deontic Logic
1	Paul McNamara	Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin.	DEON	2008	DBLP DOI BibTeX RDF	Supererogation, Offense, Praise, Blame, Aretaic, Deontic, Indifferent, Obligation, Neutral
1	Pablo F. Castro, T. S. E. Maibaum	A Tableaux System for Deontic Action Logic.	DEON	2008	DBLP DOI BibTeX RDF	Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.	DEON	2008	DBLP DOI 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	Guido Boella, Leendert W. N. van der Torre	Delegation of Power in Normative Multiagent Systems.	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	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	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 M. Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
1	Mark A. Brown	Acting with an End in Sight.	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	Katie Atkinson, Trevor J. M. Bench-Capon	Addressing Moral Problems Through Practical Reasoning.	DEON	2006	DBLP DOI BibTeX RDF
1	Gert-Jan C. Lokhorst	Propositional Quantifiers in Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Lars Lindahl, Jan Odelstad	Intermediate Concepts in Normative Systems.	DEON	2006	DBLP DOI BibTeX RDF
1	Adam Zachary Wyner	Sequences, Obligations, and the Contrary-to-Duty Paradox.	DEON	2006	DBLP DOI BibTeX RDF
1	José Carmo	Roles, Counts-as and Deontic and Action Logics.	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	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	Barteld P. Kooi, Allard M. Tamminga	Conflicting Obligations in Multi-agent Deontic Logic.	DEON	2006	DBLP DOI BibTeX RDF
1	Thomas Müller 0007	A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies.	DEON	2006	DBLP DOI BibTeX RDF
1	Paolo Petta	Emotion Models for Situated Normative Systems?.	DEON	2006	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 DOI BibTeX RDF
1	Frank Dignum	Norms and Electronic Institutions.	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	Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer	Collective Obligations and Agents: Who Gets the Blame?	DEON	2004	DBLP DOI BibTeX RDF
1	Jörg Hansen	Conflicting Imperatives and Dyadic Deontic Logic.	DEON	2004	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Donald Nute (eds.)	Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings	DEON	2004	DBLP DOI BibTeX RDF
1	Andrei Kouznetsov	Quasi-matrix Deontic Logic.	DEON	2004	DBLP DOI BibTeX RDF
1	Adam Zachary Wyner	Maintaining Obligations on Stative Expressions in a Deontic Action Logic.	DEON	2004	DBLP DOI BibTeX RDF
1	Mark A. Brown	Obligation, Contracts, and Negotiation.	DEON	2004	DBLP DOI BibTeX RDF
1	Olga Pacheco, Filipe Santos 0001	Delegation in a Role-Based Organization.	DEON	2004	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge	On Obligations and Abilities.	DEON	2004	DBLP DOI BibTeX RDF	alternating-time logic, multi-agent systems, deontic logic
1	Franco Raimondi, Alessio Lomuscio	Automatic Verification of Deontic Properties of Multi-agent Systems.	DEON	2004	DBLP DOI BibTeX RDF
1	Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer	Designing a Deontic Logic of Deadlines.	DEON	2004	DBLP DOI BibTeX RDF
1	Guido Boella, Leendert W. N. van der Torre	Delta: The Social Delegation Cycle.	DEON	2004	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen	Specifying Multiagent Organizations.	DEON	2004	DBLP DOI BibTeX RDF
1	Lou Goble	A Proposal for Dealing with Deontic Dilemmas.	DEON	2004	DBLP DOI BibTeX RDF

Publications at "DEON"( http://dblp.L3S.de/Venues/DEON )