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 |
|