Definable Incompleteness and Friedberg Splittings.

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

Keyphrases

incomplete information
first order logic
transitive closure
answer sets
database
case study
missing values
situation calculus
data sets
databases
machine learning
optimal solution
data analysis
special case
hidden markov models
mobile robot