scientific article; zbMATH DE number 1301744

zbMATH Open0939.68017MaRDI QIDQ4246958FDOQ4246958

Authors: Wenjin Lu, Ulrich Furbach 

Publication date: 16 June 1999

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

Recommendations

• Logics in Artificial Intelligence
• The least fixpoint transformation for disjunctive logic programs
• Semantics of Horn and disjunctive logic programs
• Computing minimal models by partial instantiation

zbMATH Keywords

propositional disjunctive logic program

Mathematics Subject Classification ID

Logic programming (68N17)

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