0-complexity and axiomatic weakness in undecidability proofs.

Domenico Cantone Eugenio G. Omodeo Mattia Panettiere

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

Keyphrases

neural network
database
probabilistic planning
databases
case study
computational cost
axiomatic characterization