Temporal Reasoning with Abductive Logic Programming

@inproceedings{Li1996TemporalRW,
  title={Temporal Reasoning with Abductive Logic Programming},
  author={Renwei Li and Lu{\'i}s Moniz Pereira},
  booktitle={ECAI},
  year={1996}
}