scientific article; zbMATH DE number 1407679

zbMATH Open0979.68522MaRDI QIDQ4940934FDOQ4940934

Authors: Peter Baumgartner, Ulrich Furbach 

Publication date: 27 March 2000

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

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

zbMATH Keywords

disjunctive logic programs

Mathematics Subject Classification ID

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

Cited In (8)

• Logical Difference Computation with CEX2.5
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the relations between disjunctive and linear logic programming
• Title not available (Why is that?)
• Disjunctive Programming
• Title not available (Why is that?)
• Disjunctive Constraint Lambda Calculi

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)