Updating Extended Logic Programs through Abduction

This publication has 7 references indexed in Scilit:

• Abduction from logic programs: Semantics and complexity
  Theoretical Computer Science, 1997
• Update-programms can update programs
  Published by Springer Nature ,1997
• The role of abduction in database view updating
  Journal of Intelligent Information Systems, 1995
• Abduction over 3-valued extended logic programs
  Lecture Notes in Computer Science, 1995
• Hypothetical reasoning in logic programs
  The Journal of Logic Programming, 1994
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• On the semantics of updates in databases
  Published by Association for Computing Machinery (ACM) ,1983