Self-correcting polynomial programs.

Guevara Noubir Henri J. Nussbaumer

Published in: Reliab. Comput. (1996)

Keyphrases

answer sets
computer programs
higher order
logic programs
polynomial hierarchy
databases
data mining
artificial intelligence
social networks
evolutionary algorithm
stable models
automatic programming
java programs
control program