Finite Variable Logic, Stability and Finite Models.

Marko Djordjevic

Published in: J. Symb. Log. (2001)

Keyphrases

finite number
accurate models
database
probabilistic model
real time
machine learning
social networks
case study
prior knowledge
knowledge representation
unit length