On the relationship between CWA, minimal model, and minimal herbrand model semantics (Q3201764)

From MaRDI portal





scientific article; zbMATH DE number 4178787
Language Label Description Also known as
default for all languages
No label defined
    English
    On the relationship between CWA, minimal model, and minimal herbrand model semantics
    scientific article; zbMATH DE number 4178787

      Statements

      On the relationship between CWA, minimal model, and minimal herbrand model semantics (English)
      0 references
      0 references
      0 references
      0 references
      1990
      0 references
      nonmonotonic semantics
      0 references
      closed world assumption
      0 references
      minimal model
      0 references
      minimal Herbrand model
      0 references
      0 references
      0 references

      Identifiers