Keyword:temporal non-monotonic reasoning

Publications
EasyChair Preprint 3555