domino logic.

Seong-Ook Jung Ki-Wook Kim Sung-Mo Kang

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2002)

Keyphrases

classical logic
logic programming
modal logic
databases
real world
automated reasoning
proof theory
database
genetic algorithm
image sequences
default reasoning
multi valued
nonmonotonic logics
predicate logic
natural deduction