Login / Signup
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach
Yi-Dong Shen
Danny De Schreye
Published in:
CoRR (2005)
Keyphrases
</>
termination analysis
general logic programs
active rules
query evaluation
database
query processing
active databases
databases
knowledge base
query language
logic programs
expert systems