Interpreting the compositional truth predicate in models of arithmetic.

Cezary Cieslinski

Published in: Arch. Math. Log. (2021)

Keyphrases

artificial intelligence
image processing
databases
computational models
information retrieval
genetic algorithm
feature selection
decision making
artificial neural networks
hidden markov models
d objects
complex systems
experimental data
metamodel
modeling framework