On logics and semantics for general logic programs

DOI10.1007/bfb0023800zbMath1547.68084MaRDI QIDQ6623792

Alexander Bochman

Publication date: 24 October 2024

zbMATH Keywords

sequent calculuslogic programminglogic programpropositional atomstatic semantic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bilattices and the theory of truth
• Stable and extension class theory for logic programs and default logics
• Paraconsistent logic programming
• Autoepistemic circumscription and logic programming
• A three-valued semantics for deductive databases and logic programs
• Minimal belief and negation as failure
• Formalizing a logic for logic programming
• Static semantics for normal and disjunctive logic programs
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Revision by communication
• Default consequence relations as a logical framework for logic programs
• Characterizing D-WFS: Confluence and iterated GCWA

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