On logics and semantics for general logic programs

DOI10.1007/BFB0023800zbMATH Open1547.68084MaRDI QIDQ6623792FDOQ6623792

Alexander Bochman

Publication date: 24 October 2024

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)

Cites Work

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

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)