Generalizing updates: From models to programs

This publication has 6 references indexed in Scilit:

• Revision specifications by means of programs
  Published by Springer Nature ,2005
• Update-programms can update programs
  Published by Springer Nature ,1997
• Default negated conclusions: Why not?
  Published by Springer Nature ,1996
• Strong and explicit negation in non-monotonic reasoning and logic programming
  Lecture Notes in Computer Science, 1996
• Update by means of inference rules
  Lecture Notes in Computer Science, 1995
• On the Use of an Extended Relational Model to Handle Changing Incomplete Information
  IEEE Transactions on Software Engineering, 1985