Automating Termination Proofs for CHR.

Paolo Pilozzi Danny De Schreye

Published in: ICLP (2009)

Keyphrases

constraint handling rules
theorem proving
term rewriting
theorem prover
formal proofs
rewrite systems
database
website
active rules
equational theories
data sets
artificial intelligence
social networks
three dimensional
optimal solution
evolutionary algorithm
neural network
databases
formal proof
mathematical proofs