Symposium on Practical Aspects of Declarative Languages

• A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States