Extensions of Solovay's system S without independent sets of axioms.

Igor Gorbunov Dmitry Shkatov

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

knowledge base
image processing
neural network
web pages
probability distribution
belief base
definite clause