Linear tabling strategies and optimizations
From MaRDI portal
Publication:5437650
DOI10.1017/S147106840700316XzbMath1128.68018OpenAlexW2151120711MaRDI QIDQ5437650
Yi-Dong Shen, Taisuke Sato, Neng-Fa Zhou
Publication date: 21 January 2008
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s147106840700316x
Related Items (7)
The language features and architecture of B-Prolog ⋮ Infinite probability computation by cyclic explanation graphs ⋮ Parallel Logic Programming: A Sequel ⋮ Viterbi training in PRISM ⋮ Planning as tabled logic programming ⋮ Learning to rank in PRISM ⋮ Logic-Based Probabilistic Modeling
This page was built for publication: Linear tabling strategies and optimizations