Login / Signup
The logical strength of Büchi's decidability theorem.
Leszek Aleksander Kolodziejczyk
Henryk Michalewski
Pierre Pradic
Michal Skrzypczak
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
description logics
query answering
artificial neural networks
probabilistic logic
von neumann
database systems
relational databases
information gain
decision procedures
databases
neural network
genetic algorithm
artificial intelligence
knowledge base
website
special case