No label defined (Q3976584)

From MaRDI portal





scientific article; zbMATH DE number 19156
Language Label Description Also known as
default for all languages
No label defined
    English
    No label defined
    scientific article; zbMATH DE number 19156

      Statements

      0 references
      26 June 1992
      0 references
      survey
      0 references
      perception logic
      0 references
      approximation logic
      0 references
      incomplete information
      0 references
      perception connectives
      0 references
      cooperating agents
      0 references
      Gentzen style mechanical proof system
      0 references
      resolution theorem proving system
      0 references
      logic for reasoning about knowledge
      0 references
      indiscernibility relation
      0 references
      fuzzy logics
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references