Minimal founded semantics for disjunctive logic programming

DOI10.1007/3-540-46767-X_16MaRDI QIDQ4955337zbMATH OpenFDO

Authors Sergio Greco

Publication date 14 January 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46767-X_16

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: Minimal founded semantics for disjunctive logic programming

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