Tight, consistent, and computable completions for unrestricted logic programs

DOI10.1016/0743-1066(93)90041-EMaRDI QIDQ4036289zbMATH OpenFDO

Authors

Publication date 16 May 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

negation in logic programmingClark's program completionfirst-order semantics for logic programs

Mathematics Subject Classification ID

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

Recommendations

• Strict completion of logic programs
• On the strong completion of logic programs
• On completeness of logic programs
• scientific article; zbMATH DE number 4057010
• Completed logic programs and their consistency
• Tight semantics for logic programs
• Completion for logically constrained rewriting
• scientific article; zbMATH DE number 139622
• scientific article; zbMATH DE number 1396180
• Completions of perpetual logic programs

Cited in

(25)

• Strict completion of logic programs
• Graph properties for normal logic programs
• What is failure? An approach to constructive negation
• Completions of perpetual logic programs
• A formalization of programs in first-order logic with a discrete linear order
• scientific article; zbMATH DE number 4053008 (Why is no real title available?)
• Tight semantics for logic programs
• scientific article; zbMATH DE number 4057010 (Why is no real title available?)
• Thirteen Definitions of a Stable Model
• Stable models and circumscription
• Bottom-up evaluation and query optimization of well-founded models
• Lloyd-Topor completion and general stable models
• The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs
• Tight logic programs
• Completed logic programs and their consistency
• scientific article; zbMATH DE number 4160109 (Why is no real title available?)
• A logical semantics for depth-first Prolog with ground negation
• Decidability of the Clark's completion semantics for monadic programs and queries
• Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
• On the strong completion of logic programs
• scientific article; zbMATH DE number 4176422 (Why is no real title available?)
• Twelve Definitions of a Stable Model
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Program completion in the input language of GRINGO
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements

This page was built for publication: Tight, consistent, and computable completions for unrestricted logic programs

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