Complexity Results for Modal Dependence Logic.

Peter Lohmann Heribert Vollmer

Published in: CSL (2010)

Keyphrases

modal logic
logic programming
computational complexity
computational cost
neural network
website
multi valued
nonmonotonic logics
database
data sets
memory requirements
space complexity