The Inverse Method Implements the Automata Approach for Modal Satisfiability.

Franz Baader Stephan Tobies

Published in: IJCAR (2001)

Keyphrases

high accuracy
cost function
objective function
experimental evaluation
preprocessing
pairwise
computational complexity
computational cost
similarity measure
detection method
synthetic data
training set
significant improvement
optimization algorithm
segmentation method
high precision
optimization method