Complexity Thresholds in Inclusion Logic.

Miika Hannula Lauri Hella

Published in: WoLLIC (2019)

Keyphrases

space complexity
computational complexity
automated reasoning
classical logic
data mining
video sequences
knowledge representation
logic programming
memory requirements