Login / Signup

Extension of First-Order Theories into Trees.

Khalil DjelloulThi-Bich-Hanh Dao
Published in: AISC (2006)
Keyphrases
  • theory revision
  • higher order
  • action theories
  • case study
  • tree structure
  • first order logic
  • quantifier elimination
  • real time
  • machine learning
  • theoretical framework
  • cognitive psychology