TOWER-Complete Problems in Contraction-Free Substructural Logics.

Published in: CoRR (2022)

Keyphrases

artificial neural networks
problems involving
database
reinforcement learning
computational complexity
expert systems
evolutionary algorithm
probabilistic model
optimization problems
np complete
application domains
decision problems
inference rules
practical problems
propositional calculus