scientific article; zbMATH DE number 1332641

MaRDI QIDQ4259968zbMATH OpenFDO

Authors Juliana Freire, Terrance Swift, David S. Warren

Publication date 9 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-03/A98-03.html

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1420818
• Linear tabling strategies and optimizations
• Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
• Logic Programming

Cited in

(17)

• Dynamic reordering of alternatives for definite logic programs
• Scheduling complexity of interleaving search
• On combining linear-based strategies for tabled evaluation of logic programs
• Logic programming approach to automata-based decision procedures
• Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
• Efficient access mechanisms for tabled logic programs
• scientific article; zbMATH DE number 1487801 (Why is no real title available?)
• Tabling with sound answer subsumption
• scientific article; zbMATH DE number 2085277 (Why is no real title available?)
• scientific article; zbMATH DE number 1420818 (Why is no real title available?)
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• Linear tabling strategies and optimizations
• Logic Programming
• Concurrent and Local Evaluation of Normal Programs
• The limits of fixed-order computation
• Incremental reasoning on monadic second-order logics with logic programming
• Parallel Logic Programming: A Sequel

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4259968)