Author:
Publication: Artificial Intelligence
Dynamic term-modal logics for first-order epistemic planning
Handling and measuring inconsistency in non-monotonic logics