Epistemic and temporal reasoning

1: Reasoning about knowledge: a survey. 2: Belief revision. 3: Epistemic aspects of databases. 4: Time and change for AI. 5: Temporal logic. 6: Towards a computational treatment of time. 7: Non montonic temporal reasoning. 8: Modal deduction with applications in epistemic and temporal logic