On the Complexity of Team Logic and its Two-Variable Fragment.

Published in: CoRR (2018)

Keyphrases

logic programming
classical logic
computational complexity
complexity analysis
data sets
learning algorithm
cooperative
np hard
knowledge representation
multi valued
robot soccer
predicate logic