Logic Compilation from Graphical Dependency Notation.

Jukka Lahti Jorma Kivelä

Published in: ICCAD (1990)

Keyphrases

logic programming
modal logic
proof theory
classical logic
databases
deontic logic
automated reasoning
formal theory
predicate logic
sound and complete axiomatization
code generation
visual representations
nonmonotonic logics
multi valued
graphical representation
learning algorithm
neural network