Synthesis of Logic Interpretations.

Jian Xiang John C. Knight Kevin J. Sullivan

Published in: HASE (2016)

Keyphrases

logic synthesis
logic programming
automated reasoning
classical logic
asynchronous circuits
program synthesis
decision trees
multi valued
functional programs
database
real time
neural network
modal logic
nonmonotonic logics
digital circuits