Quantified universes and ultraproducts.

Alireza Mofidi Seyed-Mohammad Bagheri

Published in: Math. Log. Q. (2012)

Keyphrases

artificial intelligence
knowledge base
bayesian networks
data model
dynamic programming
general purpose
orders of magnitude
constraint satisfaction