A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Eiter, T., Erdem, E., Faber, W., & Senko, J. Fundamenta Informaticae, 79(1-2):25–69, IOS Press, 2007.
bibtex   
@article{eiter2007logic,
  title={A logic-based approach to finding explanations for discrepancies in optimistic plan execution},
  author={Eiter, Thomas and Erdem, Esra and Faber, Wolfgang and Senko, J{\'a}n},
  journal={Fundamenta Informaticae},
  volume={79},
  number={1-2},
  pages={25--69},
  year={2007},
  publisher={IOS Press}
}

Downloads: 0