Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V. Inference in probabilistic logic programs with continuous random variables. (English) Zbl 1260.68063 Theory Pract. Log. Program. 12, No. 4-5, 505-523 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{M. A. Islam} et al., Theory Pract. Log. Program. 12, No. 4--5, 505--523 (2012; Zbl 1260.68063) Full Text: DOI arXiv
Guo, Hai-Feng; Liu, Miao; Roop, Partha S.; Ramakrishnan, C. R.; Ramakrishnan, I. V. Precise specification matching for adaptive reuse in embedded systems. (English) Zbl 1122.68074 J. Appl. Log. 5, No. 2, 333-355 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{H.-F. Guo} et al., J. Appl. Log. 5, No. 2, 333--355 (2007; Zbl 1122.68074) Full Text: DOI
Ramakrishnan, C. R.; Ramakrishnan, I. V.; Warren, David S. Deductive spreadsheets using tabled logic programming. (English) Zbl 1131.68395 Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 391-405 (2006). MSC: 68N17 PDFBibTeX XMLCite \textit{C. R. Ramakrishnan} et al., Lect. Notes Comput. Sci. 4079, 391--405 (2006; Zbl 1131.68395) Full Text: DOI
Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V. Online justification for tabled logic programs. (English) Zbl 1122.68386 Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 24-38 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Pemmasani} et al., Lect. Notes Comput. Sci. 2998, 24--38 (2004; Zbl 1122.68386) Full Text: DOI
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. (English) Zbl 1066.68016 Int. J. Found. Comput. Sci. 13, No. 3, 387-403 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Roychoudhury} et al., Int. J. Found. Comput. Sci. 13, No. 3, 387--403 (2002; Zbl 1066.68016) Full Text: DOI
Pemmasani, Giridhar; Ramakrishnan, C. R.; Ramakrishnan, I. V. Efficient real-time model checking using tabled logic programming and constraints. (English) Zbl 1045.68520 Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43930-7). Lect. Notes Comput. Sci. 2401, 100-114 (2002). MSC: 68N17 68N30 PDFBibTeX XMLCite \textit{G. Pemmasani} et al., Lect. Notes Comput. Sci. 2401, 100--114 (2002; Zbl 1045.68520) Full Text: Link
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh Local and symbolic bisimulation using tabled constraint logic programming. (English) Zbl 1053.68582 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 166-180 (2001). MSC: 68Q85 68N17 PDFBibTeX XMLCite \textit{S. Basu} et al., Lect. Notes Comput. Sci. 2237, 166--180 (2001; Zbl 1053.68582) Full Text: Link
Guo, Hai-Feng; Ramakrishnan, C. R.; Ramakrishnan, I. V. Speculative beats conservative justification. (English) Zbl 1053.68532 Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 150-165 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{H.-F. Guo} et al., Lect. Notes Comput. Sci. 2237, 150--165 (2001; Zbl 1053.68532) Full Text: Link
Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.; Dong, Yifei; Du, Xiaoqun; Roychoudhury, Abhik; Venkatakrishnan, V. N. XMC: A logic-programming-based verification toolset. (English) Zbl 0974.68571 Emerson, E. Allen (ed.) et al., Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1855, 576-580 (2000). MSC: 68U99 68Q60 68Q85 68N17 PDFBibTeX XMLCite \textit{C. R. Ramakrishnan} et al., Lect. Notes Comput. Sci. 1855, 576--580 (2000; Zbl 0974.68571)
Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. Verification of parameterized systems using logic program transformations. (English) Zbl 0964.68018 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 172-187 (2000). MSC: 68N17 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Roychoudhury} et al., Lect. Notes Comput. Sci. 1785, 172--187 (2000; Zbl 0964.68018)
Johnson, Ernie; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Rao, Prasad A space efficient engine for subsumption-based tabled evaluation of logic programs. (English) Zbl 0988.68521 Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 284-299 (1999). MSC: 68N17 68T15 PDFBibTeX XMLCite \textit{E. Johnson} et al., Lect. Notes Comput. Sci. 1722, 284--299 (1999; Zbl 0988.68521)
Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V. Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs. (English) Zbl 0991.68509 Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 322-333 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Roychoudhury} et al., Lect. Notes Comput. Sci. 1742, 322--333 (1999; Zbl 0991.68509)
Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V. A parameterized unfold/fold transformation framework for definite logic programs. (English) Zbl 0953.68031 Nadathur, Gopalan (ed.), Principles and practice of declarative programming. International conference PPDP ’99. Paris, France, September 29-October 1, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1702, 396-413 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Roychoudhury} et al., Lect. Notes Comput. Sci. 1702, 396--413 (1999; Zbl 0953.68031)
Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A. Normalization via rewrite closures. (English) Zbl 0943.68090 Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 190-204 (1999). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Bachmair} et al., Lect. Notes Comput. Sci. 1631, 190--204 (1999; Zbl 0943.68090)
Rao, Prasad; Ramakrishnan, C. R.; Ramakrishnan, I. V. On the optimality of scheduling strategies in subsumption based tabled resolution. (English) Zbl 0949.68032 Jaffar, Joxan (ed.), Logic programming. Proceedings of the joint international conference and symposium (JICSLP ’98), Manchester, GB, June 16-19, 1998. 4th joint event for the international conference on Logic programming (ICLP ’98) and the international logic programming symposium (ILPS ’98), and it is the 15th conference in each of the two series of premier international conference on Logic programming. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 310-324 (1998). MSC: 68N17 68M20 PDFBibTeX XMLCite \textit{P. Rao} et al., in: Logic programming. Proceedings of the joint international conference and symposium (JICSLP '98), Manchester, GB, June 16--19, 1998. 4th joint event for the international conference on Logic programming (ICLP '98) and the international logic programming symposium (ILPS '98), and it is the 15th conference in each of the two series of premier international conference on Logic programming. Cambridge, MA: MIT Press. 310--324 (1998; Zbl 0949.68032)
Bachmair, Leo; Chen, Ta; Ramakrishnan, C. R.; Ramakrishnan, I. V. Subsumption algorithms based on search trees. (English) Zbl 1508.68405 Kirchner, Hélène (ed.), Trees in algebra and programming – CAAP ’96. 21st international colloqium, Linköping, Sweden, April 22–24, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1059, 135-148 (1996). MSC: 68V15 68Q25 68T20 PDFBibTeX XMLCite \textit{L. Bachmair} et al., Lect. Notes Comput. Sci. 1059, 135--148 (1996; Zbl 1508.68405) Full Text: DOI