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