Reasoning with recursive loops under the PLP framework

DOI10.1145/1380572.1380576MaRDI QIDQ5277816zbMATH OpenOpenAlexFDO

Authors 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 networkscyclic influenceslogic programmingrecursive loopsthe well-founded model

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 176722
• Logic programs and recursion
• Reasoning about loops in total and general correctness
• Reasoning about actions with loops via Hoare logic
• On elementary loops of logic programs
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 139632
• Propositional dynamic logic with recursive programs
• scientific article; zbMATH DE number 4091489

Cited in

(1)

• Inductive Logic Programming

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

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