Dischargeable Obligations in Abductive Logic Programming

Abductive Logic Programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permission) to abductive expectations.

[1]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[2]  Evelina Lamma,et al.  Mapping deontic operators to abductive expectations , 2006, NORMAS.

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

[4]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[5]  John-Jules Ch. Meyer,et al.  An Organization-oriented Model for Agent Societies , 2008 .

[6]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[7]  Paolo Mancarella,et al.  The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation , 2004, Global Computing.

[8]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[9]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[11]  Michael Wooldridge,et al.  On the Logic of Normative Systems , 2007, IJCAI.

[12]  Evelina Lamma,et al.  An Abductive Framework for Datalog± Ontologies , 2015, ICLP.

[13]  Alexander Artikis,et al.  Logic Programs, Norms and Action , 2012, Lecture Notes in Computer Science.

[14]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[15]  Evelina Lamma,et al.  An abductive framework for a-priori verification of web services , 2006, PPDP '06.

[16]  Carlos E. Alchourrón.  Detachment and defeasibility in deontic logic , 1996, Stud Logica.

[17]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[18]  Truls Pedersen,et al.  NORMC: a Norm Compliance Temporal Logic Model Checker , 2012, STAIRS.

[19]  Robert B. Ross,et al.  Impact: a platform for collaborating agents , 1999, IEEE Intell. Syst..

[20]  Hans Weigand,et al.  Towards an organizational model for agent societies using contracts , 2002, AAMAS '02.

[21]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.

[22]  Henry Prakken,et al.  Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations , 2003, Artificial Intelligence and Law.

[23]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[24]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[25]  Michael Wooldridge,et al.  Robust normative systems and a logic of norm compliance , 2010, Log. J. IGPL.

[26]  Evelina Lamma,et al.  Deon + : Abduction and Constraints for Normative Reasoning , 2012, Logic Programs, Norms and Action.

[27]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[28]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[29]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[30]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

[31]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[32]  Evelina Lamma,et al.  COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL , 2006, Appl. Artif. Intell..

[33]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[34]  Henry Prakken,et al.  A hybrid formal theory of arguments, stories and criminal evidence , 2010, Artificial Intelligence and Law.

[35]  Francesca Toni,et al.  Normative KGP agents , 2006, Comput. Math. Organ. Theory.