Abstract
Justification is the process of computing an evidence for the truth or falsity of an answer to a query in a logic program. There are two well known approaches for computing the evidence: Post-processing based techniques that use tabling engine [3,1] and trace-based techniques such as 4-port debuggers.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Guo, H.-F., Ramakrishnan, C.R., Ramakrishnan, I.V.: Speculative beats conservative justification. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 150–165. Springer, Heidelberg (2001)
Ramakrishnan, C., Ramakrishnan, I., Smolka, S.A., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.: XMC: A logic-programming-based verification toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 576–580. Springer, Heidelberg (2000)
Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), Montreal, Canada, September 2000, pp. 178–189. ACM Press, New York (2000)
Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Ducassé, M., Charlier, B.L., Lin, Y.-J., Yalcinalp, U. (eds.) Proceedings of ILPS 1993 Workshop on Logic Programming Environments (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pemmasani, G., Guo, HF., Dong, Y., Ramakrishnan, C.R., Ramakrishnan, I.V. (2003). Online Justification for Tabled Logic Programs. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive