A Resolution Method for Modal Logic S5.

Yakoub Salhi Michael Sioutis

Published in: GCAI (2015)

Keyphrases

modal logic
cost function
preprocessing
high accuracy
significant improvement
detection method
similarity measure
pairwise
dynamic programming
computational cost
probabilistic model
neural network
knowledge base
higher order
high precision
classical logic