Logic Frameworks for Components Integration Process.

Haeng-Kon Kim Deok-Soo Han

Published in: KES (2) (2005)

Keyphrases

logic programming
modal logic
real world
data mining
decision making
knowledge representation
building blocks
automated reasoning
database systems
image sequences
data structure
search algorithm
expressive power
classical logic