Nonuniform Proof Systems: A New Framework to Describe Nonuniform and Probabilistic Complexity Classes.

Jürgen Kämper

Published in: Theor. Comput. Sci. (1991)

Keyphrases

probabilistic model
theoretical framework
machine learning
expert systems
logic programs
lightweight
main contribution
database
management system
generative model
complex systems
belief networks
cost based abduction