Almost-Sure Termination by Guarded Refinement.

Simon Oddershede Gregersen Alejandro Aguirre Philipp G. Haselwarter Joseph Tassarotti Lars Birkedal

Published in: CoRR (2024)

Keyphrases

refinement process
term rewriting
rewrite systems
neural network
real world
artificial intelligence
real time
multi agent
search algorithm
evolutionary algorithm
transitive closure
active rules
query refinement
step wise
term rewrite systems