Dynamic magic sets for disjunctive Datalog programs (Q2883097)

From MaRDI portal





scientific article; zbMATH DE number 6033349
Language Label Description Also known as
default for all languages
No label defined
    English
    Dynamic magic sets for disjunctive Datalog programs
    scientific article; zbMATH DE number 6033349

      Statements

      0 references
      11 May 2012
      0 references
      answer set programming
      0 references
      decidability
      0 references
      magic sets
      0 references
      disjunctive logic programs
      0 references
      Dynamic magic sets for disjunctive Datalog programs (English)
      0 references

      Identifiers