Update-Programs Can Update Programs

In the recent literature the issue of program change via updating rules (also known as revision rules) has been reduced to the issue of obtaining a new set of models, by means of the update rules, from each of the models of an initial program. Any program whose models are exactly the new set of models will count as an update of the original program. Following the classical approaches to theory updating, it is of course essential to start by specifying precisely how a program's models are to change, before even attempting to specify program change. But to stop there is to go only halfway.

[1]  Victor W. Marek,et al.  Revision Specifications by Means of Programs , 1994, JELIA.

[2]  José Júlio Alferes,et al.  Non-Monotonic Reasoning with Logic Programming , 1993, J. Log. Program..

[3]  V. Marek.  Revision Speciications by Means of Programs , 1994 .

[4]  Cees Witteveen,et al.  Revision by Communication , 1995, LPNMR.

[5]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[6]  Luís Moniz Pereira,et al.  Default Negated Conclusions: Why Not? , 1996, ELP.

[7]  José Júlio Alferes,et al.  Contradiction: When Avoidance Equals Removal - Part I , 1993, ELP.

[8]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[9]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[10]  Victor W. Marek,et al.  Revision Programming, Database Updates and Integrity Constraints , 1995, ICDT.

[11]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[12]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[13]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[14]  Teodor C. Przymusinski,et al.  Update by Means of Inference Rules , 1997, J. Log. Program..

[15]  Cees Witteveen,et al.  Revision of Non-Monotonic Theories , 1994, JELIA.

[16]  Laura Giordano,et al.  Generalized Stable Models, Truth Maintenance and Conflict Resolution , 1990, ICLP.

[17]  Chitta Baral,et al.  Rule Based Updates on Simple Knowledge Bases , 1994, AAAI.