Predicate Abstraction of Rewrite Theories.

Kyungmin Bae José Meseguer

Published in: RTA-TLCA (2014)

Keyphrases

high level
mental imagery
first order logic
data abstraction
legal knowledge
database
real time
data sets
genetic algorithm
artificial intelligence
similarity measure
bayesian networks
temporal abstractions
rewrite rules