Generic models of logic programs

DOI10.1093/LOGCOM/6.5.629MaRDI QIDQ4716046zbMATH OpenOpenAlexFDO

Authors Ron Sigal

Publication date 19 November 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/6.5.629

zbMATH Keywords

minimal Herbrand modelsdefinite Horn programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• The well-founded semantics for general logic programs
• scientific article; zbMATH DE number 4200183
• Minimum model semantics for logic programs with negation-as-failure
• scientific article; zbMATH DE number 879002
• scientific article; zbMATH DE number 3936480

Cited in

(3)

• Correct answers to allowed programs and queries are ground
• Syntactic approach to constructions of generic models
• Model reconciliation in logic programs

This page was built for publication: Generic models of logic programs

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