scientific article; zbMATH DE number 1453064

MaRDI QIDQ4955337zbMATH OpenFDO

Authors Sergio Greco

Publication date 14 January 2001

zbMATH Keywords

deductive databasedisjunctive logic programming

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

(9)

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

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)