On the strong completion of logic programs

DOI10.1007/3-540-53162-9_37zbMath1493.68073OpenAlexW1482272107MaRDI QIDQ5096194

Phan Minh Dung

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_37

Mathematics Subject Classification ID

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

Cites Work

• A kripke-kleene semantics for logic programs*
• A procedural semantics for well-founded negation in logic programs
• The well-founded semantics for general logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the strong completion of logic programs