Separating Rank Logic from Polynomial Time.

Published in: J. ACM (2023)

Keyphrases

truth table
special case
modal logic
computational complexity
approximation algorithms
multi valued
data sets
neural network
worst case
logic programming
nonmonotonic logics
upper bound
defeasible logic
proof theory