scientific article; zbMATH DE number 1453064

MaRDI QIDQ4955337zbMATH OpenFDO

Authors Sergio Greco

Publication date 14 January 2001

zbMATH Keywords

disjunctive logic programmingdeductive database

Mathematics Subject Classification ID

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

Recommendations

• Minimal founded semantics for disjunctive logic programs and deductive databases
• scientific article; zbMATH DE number 25192
• scientific article; zbMATH DE number 5033761
• An alternative approach to the semantics of disjunctive logic programs and deductive databases

Cited in

(7)

• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• Minimal founded semantics for disjunctive logic programs and deductive databases
• scientific article; zbMATH DE number 1926616 (Why is no real title available?)
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• A game semantics for disjunctive logic programming
• Determining inference semantics for disjunctive logic programs
• Relating minimal models and pre-requisite-free normal defaults

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 Q4955337)