Login / Signup

Guarded recursive datatype constructors.

Hongwei XiChiyan ChenGang Chen
Published in: POPL (2003)
Keyphrases
  • description logics
  • fixed point
  • query answering
  • recursive algorithm
  • feature selection
  • real time
  • artificial intelligence
  • multiscale
  • knowledge representation and reasoning