scientific article; zbMATH DE number 1765676

zbMATH Open0988.68032MaRDI QIDQ4539613FDOQ4539613

Authors: Kewen Wang 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830305

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

Recommendations

• Comparisons and computation of well-founded semantics for disjunctive logic programs
• On the computation of the disjunctive well-founded semantics
• scientific article; zbMATH DE number 1884387
• scientific article; zbMATH DE number 846973
• A goal-oriented approach to computing the well-founded semantics

Mathematics Subject Classification ID

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

Cited In (3)

• Bottom-up computation of perfect models for disjunctive theories
• On the computation of the disjunctive well-founded semantics
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

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