Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

DOI10.1016/S0743-1066(96)00110-0zbMath0883.68025MaRDI QIDQ4365081

Peter J. Stuckey, S. Sudarshan

Publication date: 26 February 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

ordered searchmodularly stratified programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

An abstract machine for fixed-order dynamically stratified programs ⋮ The limits of fixed-order computation

This page was built for publication: Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models