A General Proof Method for First-Order Modal Logic.

Peter Jackson Han Reichgelt

Published in: IJCAI (1987)

Keyphrases

modal logic
high accuracy
significant improvement
detection method
special case
cost function
similarity measure
preprocessing
support vector machine