Login / Signup
Termination of Rewriting is Undecidable in the One-Rule Case.
Max Dauchet
Published in:
MFCS (1988)
Keyphrases
</>
termination analysis
sufficient conditions
active rules
case base
datalog programs
neural network
association rules
genetic algorithm
bayesian networks
expert systems
relational databases
case based reasoning
np complete
production rules
rule learning