The Logic Description Generator.

Maya B. Gokhale Andrew Kopser Sara P. Lucas Ronald G. Minnich

Published in: ASAP (1990)

Keyphrases

logic programming
high level
classical logic
set theory
data sets
genetic algorithm
social networks
multiscale
automated reasoning
defeasible logic
nonmonotonic logics
digital circuits
proof theory
sound and complete axiomatization