Synthesis of Dual Mode Logic.

Lior Moyal Itamar Levi Adam Teman Alexander Fish

Published in: Integr. (2016)

Keyphrases

logic synthesis
functional programs
predicate logic
program synthesis
multi valued
classical logic
modal logic
search algorithm
deontic logic
computational properties
texture synthesis
logic programming
defeasible logic
probabilistic logic
expert systems
real time
sound and complete axiomatization