More definable combinatorics around the first and second uncountable cardinals.

William Chan Stephen Jackson Nam Trang

Published in: J. Math. Log. (2023)

Keyphrases

graph theory
first order logic
answer sets
transitive closure
machine learning
computer vision
logic programs
knowledge base
artificial intelligence
case study
objective function
data streams
feature space
logic programming
data integration
situation calculus