Login / Signup
Preliminary Notes on Termination and Non-Termination Reasoning.
Ton Chanh Le
Published in:
CoRR (2013)
Keyphrases
</>
rewrite systems
term rewriting
artificial intelligence
multi agent
termination analysis
causal reasoning
active rules
qualitative reasoning
probabilistic reasoning
knowledge representation
learning environment
database
multiscale
search engine
learning algorithm
machine learning
real world
neural network
real time