Using Resolution for Testing Modal Satisfiability and Building Models.

Ullrich Hustadt Renate A. Schmidt

Published in: J. Autom. Reason. (2002)

Keyphrases

probabilistic model
artificial neural networks
computational models
satisfiability problem
data sets
case study
experimental data
statistical models
database
high resolution
statistical model
modal logic
accurate models