A Simple Propositional S5 Tableau System.

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

machine learning
learning algorithm
propositional logic
real time
information retrieval
information systems
case study
evolutionary algorithm
highly reliable