scientific article; zbMATH DE number 1407679

MaRDI QIDQ4940934zbMATHFDO

Authors Peter Baumgartner, Ulrich Furbach

Publication date 27 March 2000

zbMATH Keywords

disjunctive logic programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1292288
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• The least fixpoint transformation for disjunctive logic programs
• On the relations between disjunctive and linear logic programming
• On the computation of the disjunctive well-founded semantics

Cited in

(8)

• Disjunctive Programming
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• scientific article; zbMATH DE number 3274718 (Why is no real title available?)
• Logical Difference Computation with CEX2.5
• On the relations between disjunctive and linear logic programming
• Disjunctive Constraint Lambda Calculi
• scientific article; zbMATH DE number 1267566 (Why is no real title available?)
• scientific article; zbMATH DE number 5043340 (Why is no real title available?)

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