Think!: A unified numerical--symbolic knowledge representation scheme and reasoning system (Q1978239)

From MaRDI portal





scientific article; zbMATH DE number 1454119
Language Label Description Also known as
default for all languages
No label defined
    English
    Think!: A unified numerical--symbolic knowledge representation scheme and reasoning system
    scientific article; zbMATH DE number 1454119

      Statements

      Think!: A unified numerical--symbolic knowledge representation scheme and reasoning system (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      4 June 2000
      0 references
      knowledge representation
      0 references
      symbolic reasoning
      0 references
      numeric reasoning
      0 references
      truth propagation
      0 references

      Identifiers