Raymond Reiter

• Knowledge in Action
• Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning
• Knowledge in Action - Logical Foundations for Specifying and Implementing Dynamical Systems
• On integrity constraints
• On specifying database updates
• The logic of depiction
• What should a database know?