Reasoning with recursive loops under the PLP framework

DOI10.1145/1380572.1380576zbMath1367.68041OpenAlexW2122666826MaRDI QIDQ5277816

Yi-Dong Shen

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1380572.1380576

zbMATH Keywords

Bayesian networkslogic programmingcyclic influencesrecursive loopsthe well-founded model

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Reasoning with recursive loops under the PLP framework