Completion for Logically Constrained Rewriting.

Sarah Winkler Aart Middeldorp

Published in: FSCD (2018)

Keyphrases

rewrite rules
real time
probabilistic model
query rewriting
datalog programs
decision making
image processing
multiscale
objective function
artificial neural networks
mobile robot
rewriting rules
rewriting systems