The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

Peter Baumgartner Ulrich Furbach Björn Pelzer

Published in: J. Log. Comput. (2010)

Keyphrases

computational model
mathematical model
probabilistic model
theoretical analysis
high level
objective function
management system
database
social networks
prior knowledge
data model
em algorithm
statistical model
experimental data
simulation model
formal model