Mutual Interpretability of Weak Essentially Undecidable Theories.

Zlatan Damnjanovic

Published in: J. Symb. Log. (2022)

Keyphrases

sufficient conditions
prediction accuracy
np complete
theoretical framework
computational models
rule base
databases
search engine
computer vision
website
multi agent systems
computational complexity
logic programs