Computing Defeasible Meta-logic
暂无分享,去创建一个
Guido Governatori | Abdul Sattar | Matteo Cristani | Francesco Olivieri | A. Sattar | Francesco Olivieri | M. Cristani | Guido Governatori
[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.