Ordered Tableaux: Extensions and Applications.

Reiner Hähnle Christian Pape

Published in: TABLEAUX (1997)

Keyphrases

functional dependencies
modal logic
partially ordered
metadata
decision trees
three dimensional
logic programs
default logic
real time
data sets
machine learning
website