Marianne Southall Winslett

• Updating logical databases
• Reasoning about action using a possible models approach
• Updating databases with incomplete information