A logical foundation for logic programming II: Semantics of general logic programs

DOI10.1016/S0743-1066(97)10006-1MaRDI QIDQ4208859zbMATH OpenFDO

Authors Alexander Bochman

Publication date 17 August 1999

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

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• scientific article; zbMATH DE number 994055
• A uniform approach to logic programming semantics
• The well-founded semantics for general logic programs

Cited in

(12)

• Logic program forms
• Bilattices and the semantics of logic programming
• A uniform approach to logic programming semantics
• A computable semantics for general logic programs
• On logics and semantics for general logic programs
• scientific article; zbMATH DE number 1418327 (Why is no real title available?)
• Properties of general semantic operators determined by logic-based systems
• Towards a systematic account of different logic programming semantics
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• Here and there among logics for logic programming
• Foundation of logic programming based on inductive definition

This page was built for publication: A logical foundation for logic programming II: Semantics of general logic programs

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