Thomas Eiter, Esra Erdem, Wolfgang Faber, Ján Senko. A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Fundamenta Informaticae, 79(1-2):25-69, 2007. [doi]
@article{EiterEFS07,
title = {A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution},
author = {Thomas Eiter and Esra Erdem and Wolfgang Faber and Ján Senko},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=1&spage=25},
tags = {rule-based, logic, systematic-approach},
researchr = {https://researchr.org/publication/EiterEFS07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {79},
number = {1-2},
pages = {25-69},
}