Modeling legal conflict resolution based on dynamic logic

[1]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[2]  Leon van der Torre,et al.  Deontic Redundancy: A Fundamental Challenge for Deontic Logic , 2010, DEON.

[3]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[4]  Giovanni Sartor,et al.  Normative conflicts in legal reasoning , 1992, Artificial Intelligence and Law.

[5]  Xavier Parent,et al.  Moral particularism in the light of deontic logic , 2011, Artificial Intelligence and Law.

[6]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[7]  Jim Rossi,et al.  Agency Coordination in Shared Regulatory Space , 2011 .

[8]  Jörg Hansen,et al.  Deontic logics for prioritized imperatives , 2006, Artificial Intelligence and Law.

[9]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[10]  Christian List,et al.  A liberal paradox for judgment aggregation , 2008, Soc. Choice Welf..

[11]  J. Golden.  Redundancy: When Law Repeats Itself , 2016 .

[12]  Christian List,et al.  The theory of judgment aggregation: an introductory review , 2012, Synthese.

[13]  Guido Boella,et al.  Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations , 2008, PRIMA.

[14]  John F. Horty,et al.  Reasoning with Moral Conflicts , 2003 .

[15]  Tom M. van Engers,et al.  Mixing Legal and Non-legal Norms , 2005, JURIX.

[16]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[17]  Robert S. Summers,et al.  Interpreting Statutes: A Comparative Study , 1991 .

[18]  Jan M. Broersen.  Action negation and alternative reductions for dynamic deontic logics , 2004, J. Appl. Log..

[19]  David Lewis,et al.  A Problem About Permission , 1979 .

[20]  John F. Horty,et al.  Defaults with Priorities , 2007, J. Philos. Log..

[21]  Dongmo Zhang,et al.  A Hierarchical Approach to Judgment Aggregation with Abstentions , 2018, Comput. Intell..