Modular Models for Intuitionistic Justification Logic.

Michel Marti Thomas Studer

Published in: CoRR (2016)

Keyphrases

classical logic
statistical models
data mining
genetic algorithm
artificial intelligence
classification models