×

Found 16 Documents (Results 1–16)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

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
Full Text: Link

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
Full Text: Link

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).
PDFBibTeX XMLCite

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

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

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

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

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

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software