Login / Signup
Guarded recursive datatype constructors.
Hongwei Xi
Chiyan Chen
Gang 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