Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages.

Domenico Cantone Pietro Maugeri Eugenio G. Omodeo

Published in: ICTCS (2021)

Keyphrases

language independent
polynomial hierarchy
expressive power
real valued
boolean functions
databases
building blocks
neural network
information extraction
first order logic
machine translation
uniform distribution
low order
datalog programs
threshold functions