Login / Signup
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations.
Mauro Ferrari
Camillo Fiorentini
Guido Fiorino
Published in:
CILC (2015)
Keyphrases
</>
proof procedure
description logics
theorem proving
association rules
logical representation
logical rules
database
e learning
probabilistic model
active databases
rule learning
rule discovery
automated theorem proving