scientific article; zbMATH DE number 970716

MaRDI QIDQ5688901zbMATH OpenFDO

Authors Chiaki Sakama

Publication date 25 May 1997

zbMATH Keywords

declarative semantics of logic programs

Mathematics Subject Classification ID

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

Recommendations

• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Paraconsistent declarative semantics for extended logic programs
• scientific article; zbMATH DE number 4128792
• scientific article; zbMATH DE number 1269580

Cited in

(13)

• Off-line parsability and the well-foundedness of subsumption
• A unifying view for logic programming with non-monotonic reasoning
• Paraconsistent declarative semantics for extended logic programs
• An encompassing framework for paraconsistent logic programs
• A paraconsistent logic programming approach for querying inconsistent databases
• Dependency semantics for sequences of extended logic programs
• scientific article; zbMATH DE number 4213424 (Why is no real title available?)
• scientific article; zbMATH DE number 4026795 (Why is no real title available?)
• scientific article; zbMATH DE number 4128792 (Why is no real title available?)
• scientific article; zbMATH DE number 1269580 (Why is no real title available?)
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• scientific article; zbMATH DE number 1453067 (Why is no real title available?)
• Abduction over 3-valued extended logic programs

Describes a project that uses

Uses Software

• Y-logic

This page was built for publication:

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