A novel basis for logic rewriting.

Winston Haaswijk Mathias Soeken Luca Gaetano Amarù Pierre-Emmanuel Gaillardon Giovanni De Micheli

Published in: ASP-DAC (2017)

Keyphrases

modal logic
neural network
learning algorithm
database
machine learning
expert systems
starting point
query rewriting
rewriting rules
delay insensitive