Belief dynamics, abduction, and databases

This publication has 22 references indexed in Scilit:

• Partial deduction of logic programs WRT well-founded semantics
  Published by Springer Nature ,2005
• Relationship between Gardenfors-Makinson's epistemic entrenchment and Katsuno-Mendelzon's faithful total preorders
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Loop checking in partial deduction
  The Journal of Logic Programming, 1993
• Belief revision: An introduction
  Published by Cambridge University Press (CUP) ,1992
• An analysis of loop checking mechanisms for logic programs
  Theoretical Computer Science, 1991
• Theory contraction through base contraction
  Journal of Philosophical Logic, 1991
• Two modellings for theory change
  Journal of Philosophical Logic, 1988
• On the logic of theory change: Partial meet contraction and revision functions
  The Journal of Symbolic Logic, 1985
• On the logic of theory change: Safe contraction
  Studia Logica, 1985
• On the correct translation of update operations on relational views
  ACM Transactions on Database Systems, 1982