Towards a Systematic Account of Different Semantics for Logic Programs (Q3025342)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Towards a Systematic Account of Different Semantics for Logic Programs
    scientific article

      Statements

      Towards a Systematic Account of Different Semantics for Logic Programs (English)
      0 references
      0 references
      13 July 2005
      0 references
      Logic programming
      0 references
      nonmonotonic reasoning
      0 references
      stable semantics
      0 references
      well-founded semantics
      0 references
      Fitting semantics
      0 references
      stratification
      0 references

      Identifiers