Sign in

Operational Semantics for Positive Relevant Logics Without Distribution.

Ying GaoJingde Cheng
Published in: CiE (2007)
Keyphrases
  • operational semantics
  • formal semantics
  • mental states
  • probability distribution
  • inference rules
  • model theoretic
  • data model
  • dynamic environments
  • denotational semantics
  • computational intelligence
  • agent programming