LORES-2: A Logic Reorganization System.

Kiyoshi Enomoto Shunichiro Nakamura Takuji Ogihara Shinichi Murai

Published in: IEEE Des. Test (1985)

Keyphrases

modal logic
logic programming
automated reasoning
classical logic
sound and complete axiomatization
data mining
image processing
asynchronous circuits
proof theory
delay insensitive
machine learning
data model
programming language
formal language
predicate logic
abductive reasoning