Login / Signup

Abstraction of Syntax.

Vijay Victor D'SilvaDaniel Kroening
Published in: VMCAI (2013)
Keyphrases
  • high level
  • artificial intelligence
  • case study
  • natural language
  • data abstraction
  • genetic algorithm
  • dynamic programming
  • decision theoretic planning
  • precisely defined
  • high level abstractions