Terminating modal tableaux with simple completeness proof.

Olivier Gasquet Andreas Herzig Mohamad Sahade

Published in: Advances in Modal Logic (2006)

Keyphrases

modal logic
decision procedures
data sets
neural network
computer vision
databases
machine learning
genetic algorithm
image processing
case study
data model
logic programming