Sign in
Reasoning with recursive loops under the PLP framework.
Yi-Dong Shen
Published in:
ACM Trans. Comput. Log. (2008)
Keyphrases
</>
meta level
main contribution
theoretical framework
logical framework
reasoning tasks
reasoning engine
data sets