Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.

Murray Patterson Yongmei Liu Eugenia Ternovska Arvind Gupta

Published in: IJCAI (2007)

Keyphrases

computational model
probabilistic model
experimental data
case study
similarity measure
high level
expert systems
em algorithm
theoretical analysis
formal model
object model