Computing Defeasible Meta-logic

[1]  Wolfgang Faber,et al.  Computing preferred answer sets by meta-interpretation in answer set programming , 2003, Theory Pract. Log. Program..

[2]  Guido Governatori,et al.  Contextual Agent Deliberation in Defeasible Logic , 2007, PRIMA.

[3]  Guido Governatori,et al.  Compliant Business Processes with Exclusive Choices from Agent Specification , 2015, PRIMA.

[4]  Guido Governatori,et al.  Designing for Compliance: Norms and Goals , 2011, RuleML America.

[5]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[6]  Vladimir Lifschitz,et al.  Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.

[7]  Guido Governatori,et al.  The rationale behind the concept of goal , 2015, Theory and Practice of Logic Programming.

[8]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

[9]  Annegret Habel,et al.  High-Level Programs and Program Conditions , 2008, ICGT.

[10]  Guido Governatori,et al.  Normative autonomy and normative co-ordination: Declarative power, representation, and mandate , 2004, Artificial Intelligence and Law.

[11]  Sergio Greco,et al.  DATALOG with Nested Rules , 1997, LPKR.

[12]  Guido Governatori,et al.  Compliant Business Process Design by Declarative Specifications , 2013, PRIMA.

[13]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[14]  Guido Governatori,et al.  A defeasible logic for modelling policy-based intentions and motivational attitudes , 2009, Log. J. IGPL.

[15]  José Meseguer,et al.  Reflective metalogical frameworks , 2004, TOCL.

[16]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[17]  Trevor J. M. Bench-Capon,et al.  Metalevel argumentation , 2011, J. Log. Comput..

[18]  Guido Governatori,et al.  Nested Rules in Defeasible Logic , 2005, RuleML.

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

[20]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[21]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.