scientific article; zbMATH DE number 915921

MaRDI QIDQ4889404zbMATHFDO

Authors Cristian Papp

Publication date 12 August 1996

zbMATH Keywords

generalized disjunctive well-founded semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• On the computation of the disjunctive well-founded semantics
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Logic Programming
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Minimal founded semantics for disjunctive logic programs and deductive databases

Cited in

(3)

• Bottom-up computation of perfect models for disjunctive theories
• On the computation of the disjunctive well-founded semantics
• Characterizing D-WFS: confluence and iterated GCWA

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