The Logical Strength of Büchi's Decidability Theorem.

Leszek Aleksander Kolodziejczyk Henryk Michalewski Pierre Pradic Michal Skrzypczak

Published in: CSL (2016)

Keyphrases

description logics
query answering
logical representation
information gain
decision procedures
case study
von neumann
real time
real world
database systems
probabilistic logic
logical reasoning