Login / Signup

Formal semantics for perceptual classification.

Staffan Larsson
Published in: J. Log. Comput. (2015)
Keyphrases
  • formal semantics
  • machine learning
  • first order logic
  • operational semantics
  • formal language
  • logical reasoning
  • logical language
  • er model
  • decision trees
  • knowledge representation
  • software engineering
  • class labels