×

Found 11 Documents (Results 1–11)

Mode-directed fixed point computation. (English) Zbl 1152.68412

Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 253-265 (2005).
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

A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. (English) Zbl 1053.68531

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, 181-196 (2001).
MSC:  68N17 68Q55
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

PALS: An or-parallel implementation of Prolog on Beowulf architectures. (English) Zbl 1053.68545

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, 27-42 (2001).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software