Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.

Philippe Balbiani Joseph Boudou

Published in: CADE (2015)

Keyphrases

first order logic
machine learning methods
modal logic
genetic algorithm
clustering algorithm
empirical studies
dynamic environments
benchmark datasets
statistical methods
classical logic