Depth-bounded bottom-up evaluation of logic programs
From MaRDI portal
Publication:3128527
DOI10.1016/0743-1066(94)00030-AzbMath0871.68044MaRDI QIDQ3128527
Publication date: 5 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Temporal disjunctive logic programming, Positive Dedalus programs tolerate non-causality, Temporal stratification tests for linear and branching-time deductive databases