The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/deon

Publication years (Num. hits)
1996-2004 (31) 2006 (22) 2008 (21) 2010 (23) 2012 (15) 2014 (20) 2016 (19) 2018 (18)
Publication types (Num. hits)
inproceedings(160) proceedings(9)
Venues (Conferences, Journals, ...)
DEON(169)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 15 keywords

Results
Found 169 publication records. Showing 169 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Piotr Kulicki, Robert Trypuz, Michael P. Musielewicz Towards a Formal Ethics for Autonomous Cars. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Juliano Maranhão, Edelcio G. de Souza Contraction of Combined Normative Sets. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Felix Lindner 0001, Martin Mose Bentzen A Formalization of Kant's Second Formulation of the Categorical Imperative. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Agata Ciabattoni, Francesca Gulisano, Björn Lellmann Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Frederik Van De Putte, Stefan Frijters, Joke Meheus How to Take Heroin (if at all). Holistic Detachment in Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Guido Governatori, Francesco Olivieri, Régis Riveret, Antonino Rotolo, Serena Villata Dialogues on Moral Theories. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthew Mandelkern You Must! Maybe You Won't. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Giordani Ability and Responsibility in General Action Logic. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Xavier Parent, Leendert W. N. van der Torre I/O Logics with a Consistency Check. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Jan M. Broersen, Cleo Condoravdi, Nair Shyam, Gabriella Pigozzi (eds.) Deontic Logic and Normative Systems - 14th International Conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Fengkui Ju S5 as a Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Marian J. R. Gilton A Look at Chisholm's Ethics of Requirement. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniele Porello A Logic for Reasoning about Group Norms. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthias Armgardt, Emiliano Lorini, Giovanni Sartor Reasoning about Conditions in STIT Logic. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Jan M. Broersen, Aldo Iván Ramírez Abarca Knowledge and Subjective Oughts in STIT Logic. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Piotr Kulicki, Robert Trypuz Epistemic Oughts in STIT Semantics (Abbreviated Version). Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Ilaria Canavotto, Alessandro Giordani Normative Conflicts in a Dynamic Logic of Norms and Codes. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Benzmüller, Ali Farjami, Xavier Parent A Dyadic Deontic Logic in HOL. Search on Bibsonomy DEON The full citation details ... 2018 DBLP  BibTeX  RDF
1Sjur Kristoffer Dyrkolbotn, Truls Pedersen, Jan M. Broersen Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre Cumulative aggregation. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Clayton Peterson, Piotr Kulicki Conditional Normative Reasoning with Substructural Logics. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Piotr Kulicki, Robert Trypuz Multivalued Logics for Conflicting Norms. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Frederik Van De Putte Coarse Deontic Logic (short version). Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Albert J. J. Anglberger, Federico L. G. Faroldi, Johannes Korbmacher An Exact Truthmaker Semantics for Permission and Obligation. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandra Marra Objective Oughts and a Puzzle about Futurity. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Mathieu Beirlaen, Christian Straßer A Structured Argumentation Framework for Detaching Conditional Obligations. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Sjur Kristoffer Dyrkolbotn, Truls Pedersen Argumentation Frameworks with Justified Attacks. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Olivier Roy, Allard M. Tamminga, Malte Willer (eds.) Deontic Logic and Normative Systems - 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2018. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo Sequence Semantics for Norms and Obligations. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlotta Pavese Logical Inference and Its Dynamics. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Giordani, Ilaria Canavotto Basic Action Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Robert Mullins Rights in Default Logic. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Fenrong Liu, Emiliano Lorini Reasons to Believe in a Social Environment. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata Prioritized Norms and Defaults in Formal Argumentation. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Zarnic Berislav Deontic Logic as a Study of Conditions of Rationality in Norm-related Activities. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Fengkui Ju, Jan van Eijck To Do Something Else. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Alex Silk Update Semantics for Weak Necessity Modals. Search on Bibsonomy DEON The full citation details ... 2016 DBLP  BibTeX  RDF
1Gunnar Björnsson, Robert Shanklin 'Must', 'Ought' and the Structure of Standards. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandra Marra For a Dynamic Semantics of Necessity Deontic Modals. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Federico L. G. Faroldi Denial of Responsibility and Normative Negation. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Livio Robaldo, Xin Sun 0001, Leendert W. N. van der Torre, Zohreh Baniasadi Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xavier Parent, Leendert W. N. van der Torre "Sing and Dance!" - Input/Output Logics without Weakening. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eugenio Orlandelli Proof Analysis in Deontic Logics. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Straßer, Ofer Arieli Sequent-Based Argumentation for Normative Reasoning. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Trypuz, Piotr Kulicki A Deontic Logic of Actions and States. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Régis Riveret, Alexander Artikis, Dídac Busquets, Jeremy Pitt Self-governance by Transfiguration: From Learning to Prescriptions. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Justin Snedegar Deontic Reasoning Across Contexts. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Ove Hansson Deontic Diversity. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Sun 0001, Leendert W. N. van der Torre Combining Constitutive and Regulative Norms in Input/Output Logic. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew J. I. Jones Ingmar Pörn - In Memoriam. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Rechenauer, Olivier Roy The Logical Structure of Scanlon's Contractualism. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen Detecting Deontic Conflicts in Dynamic Settings. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent (eds.) Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erica Calardo, Guido Governatori, Antonino Rotolo A Preference-Based Semantics for CTD Reasoning. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Melissa Fusco Factoring Disjunction Out of Deontic Modal Puzzles. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Catharine Saint Croix, Richmond H. Thomason Chisholm's Paradox and Conditional Oughts. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Albert J. J. Anglberger, Huimin Dong, Olivier Roy Open Reading without Free Choice. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata Visualizing Normative Systems: An Abstract Approach. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini On the Logical Foundations of Moral Agency. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Robert Demolombe Causality in the Context of Multiple Agents. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Piotr Kulicki, Robert Trypuz A Deontic Action Logic with Sequential Composition of Actions. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre Discussion Paper: Changing Norms Is Changing Obligation Change. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guido Governatori, Antonino Rotolo, Erica Calardo Possible World Semantics for Defeasible Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Jan M. Broersen, Dag Elgesem (eds.) Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Louwe B. Kuijer Sanction Semantics and Contrary-to-Duty Obligations. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, José Júlio Alferes An Embedding of Input-Output Logic in Deontic Logic Programs. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Régis Riveret, Antonino Rotolo, Giovanni Sartor Norms and Learning in Probabilistic Logic-Based Agents. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Turrini Agreements as Norms. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl The Logic of Obligation as Weakest Permission - (Short Version). Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian Straßer, Mathieu Beirlaen An Andersonian Deontic Logic with Contextualized Sanctions. Search on Bibsonomy DEON The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Phan Minh Dung, Giovanni Sartor A Logical Model of Private International Law. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gert-Jan C. Lokhorst Where Did Mally Go Wrong? Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte Avoiding Deontic Explosion by Contextually Restricting Aggregation. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xavier Parent Moral Particularism and Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leendert W. N. van der Torre Deontic Redundancy: A Fundamental Challenge for Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Davide Grossi, Fenrong Liu Deontics = Betterness + Priority. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Trypuz, Piotr Kulicki Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Audun Stolpe Relevance, Derogation and Permission. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonino Rotolo Retroactive Legal Changes and Revision Theory in Defeasible Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rosaria Conte, Giulia Andrighetto, Daniel Villatoro From Norm Adoption to Norm Internalization. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emiliano Lorini A Logical Analysis of Commitment Dynamics. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rosja Mastop Characterising Responsibility in Organisational Structures: The Problem of Many Hands. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guillaume Piolle A Dyadic Operator for the Gradation of Desirability. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan Value-Based Argumentation for Justifying Compliance. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre Privacy Policies with Modal Logic: The Dynamic Turn. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Richard Evans Introducing Exclusion Logic as a Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Demolombe Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marek J. Sergot Norms, Action and Agency in Multi-agent Systems. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Taruffo Towards a Logical Analysis of the Judgment on Facts. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Axioms for Obligation and Robustness with Temporal Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Abraham, Dov M. Gabbay, Uri J. Schild Obligations and Prohibitions in Talmudic Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guido Governatori, Giovanni Sartor (eds.) Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nuel Belnap Norms in Branching Space-Times. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lars Lindahl, Jan Odelstad Strata of Intervenient Concepts in Normative Systems. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system
1Martín Abadi Variations in Access Control Logic. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pablo F. Castro, T. S. E. Maibaum A Tableaux System for Deontic Action Logic. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification
1Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini A Deontic Logic for Socially Optimal Norms. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 169 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license