Tameness and the power of programs over monoids in DA.

Nathan Grosshans Pierre McKenzie Luc Segoufin

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

power consumption
databases
neural network
data sets
answer sets
provably correct
power distribution
control structures
stable models
programming environment
computer programs
probabilistic model
control system
optimal solution
computer vision
social networks
search engine
real world