Strengthening Rödl's theorem.

Maria Chudnovsky Alex D. Scott Paul D. Seymour Sophie Spirkl

Published in: J. Comb. Theory, Ser. B (2023)

Keyphrases

description logics
expressive power
von neumann
genetic algorithm
knowledge base
multiscale
computational complexity
database
artificial intelligence
domain knowledge
reasoning problems
formal logic