Login / Signup

Axioms for Determinateness and Truth.

Solomon Feferman
Published in: Rev. Symb. Log. (2008)
Keyphrases
  • knowledge base
  • truth values
  • neural network
  • valued logic
  • first order logic
  • pairwise
  • action theories
  • real time
  • feature selection
  • case study
  • search algorithm
  • pattern recognition
  • mobile robot
  • knowledge representation