@inbook{54ce61ca03b9454a90624d1fc4af5929,
title = "Online justification for tabled logic programs",
abstract = "Justification is the process of constructing evidence, in terms of proof, for the truth or falsity of an answer derived by tabled evaluation. The evidence is most easily constructed by post-processing the memo tables created during query evaluation. In this paper we introduce online justification, based on program transformation, to efficiently construct the evidence during query evaluation, while adding little overhead to the evaluation itself. Apart from its efficiency, online justification separates evidence generation from exploration thereby providing flexibility in exploring the evidence either declaratively or procedurally. We present experimental results obtained on examples that construct large evidences which demonstrate the scalability of online justification.",
author = "Giridhar Pemmasani and Guo, \{Hai Feng\} and Yifei Dong and Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\}",
year = "2004",
doi = "10.1007/978-3-540-24754-8\_4",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "24--38",
editor = "Yukiyoshi Kameyama and Stuckey, \{Peter J.\}",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}