A parameterized view on the complexity of dependence and independence logic.

Juha Kontinen Arne Meier Yasir Mahmood

Published in: J. Log. Comput. (2022)

Keyphrases

computational complexity
dependence structure
worst case
logic programming
modal logic
space complexity
independence assumption
computational cost
automated reasoning
multi agent systems
probabilistic model
complexity analysis
multi valued
predicate logic
asynchronous circuits