Complete and atomic Tarski algebras.

Sergio A. Celani

Published in: Arch. Math. Log. (2019)

Keyphrases

information retrieval
artificial intelligence
information systems
real time
knowledge base
website
bayesian networks
objective function
data structure