scientific article; zbMATH DE number 1453064

zbMATH Open0952.68023MaRDI QIDQ4955337FDOQ4955337

Authors: Sergio Greco 

Publication date: 14 January 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

disjunctive logic programmingdeductive database

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• 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
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• Minimal founded semantics for disjunctive logic programs and deductive databases

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)