scientific article; zbMATH DE number 1292288

MaRDI QIDQ4244296zbMATH OpenFDO

Authors Ulrich Furbach

Publication date 27 May 1999

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:4940934
• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1926616
• Computing answers with model elimination
• Determining inference semantics for disjunctive logic programs

Cited in

(10)

• Computing answers with model elimination
• Logical Difference Computation with CEX2.5
• Disjunctive Programming
• Splitting a CR-Prolog Program
• Disjunctive answer set solvers via templates
• scientific article; zbMATH DE number 1931680 (Why is no real title available?)
• scientific article; zbMATH DE number 1407679 (Why is no real title available?)
• scientific article; zbMATH DE number 6747884 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• How to split a logic program

Describes a project that uses

Uses Software

• SETHEO

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