On logics and semantics for general logic programs

DOI10.1007/BFB0023800MaRDI QIDQ6623792zbMATH OpenFDO

Authors Alexander Bochman

Publication date 24 October 2024

Full work available at URL https://doi.org/10.1007/BFB0023800

zbMATH Keywords

sequent calculuslogic programminglogic programpropositional atomstatic semantic

Mathematics Subject Classification ID

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

Recommendations

• A logical foundation for logic programming II: Semantics of general logic programs
• 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
• scientific article; zbMATH DE number 1241670

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• A three-valued semantics for deductive databases and logic programs
• Autoepistemic circumscription and logic programming
• Bilattices and the theory of truth
• Characterizing D-WFS: confluence and iterated GCWA
• Default consequence relations as a logical framework for logic programs
• Formalizing a logic for logic programming
• Minimal belief and negation as failure
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Paraconsistent logic programming
• Revision by communication
• Stable and extension class theory for logic programs and default logics
• Static semantics for normal and disjunctive logic programs

This page was built for publication: On logics and semantics for general logic programs

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