On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206)

From MaRDI portal





scientific article; zbMATH DE number 1635371
Language Label Description Also known as
default for all languages
No label defined
    English
    On the equivalence of the static and disjunctive well-founded semantics and its computation
    scientific article; zbMATH DE number 1635371

      Statements

      On the equivalence of the static and disjunctive well-founded semantics and its computation (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      20 August 2001
      0 references
      disjunctive logic programming
      0 references
      disjunctive deductive databases
      0 references

      Identifiers