On recursive operations over logic LTS.

Yan Zhang Zhaohui Zhu Jinjin Zhang

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

multi valued
logical operations
logic programming
classical logic
database
neural network
logic programs
modal logic
recursive algorithm
information retrieval
information systems
image processing
case study
nonmonotonic logics
small data sets