A Proof System for MDESL.

Jianyu Lu Wanling Xie Huibiao Zhu Yuan Fei

Published in: FedCSIS (Communication Papers) (2017)

Keyphrases

modal logic
database systems
intuitionistic logic
neural network
relational databases
clause learning
databases
artificial intelligence
decision making
search algorithm
np hard
model checking
fixed point
model checker
proof search