The defining power of stratified and hierarchical logic programs (Q4036281)

From MaRDI portal





scientific article; zbMATH DE number 168615
Language Label Description Also known as
default for all languages
No label defined
    English
    The defining power of stratified and hierarchical logic programs
    scientific article; zbMATH DE number 168615

      Statements

      The defining power of stratified and hierarchical logic programs (English)
      0 references
      0 references
      0 references
      16 May 1993
      0 references
      stratified logic programs
      0 references
      defining power
      0 references
      hierarchical logic programs
      0 references
      negative information
      0 references
      closed-world assumption
      0 references

      Identifiers