109
click to vote
COMBINATORICS
2000
15 years 3 months ago
2000
We define a number of new combinatorial operations on skew semistandard domino tableaux that complement constructions defined by C. Carr
122
click to vote
DLOG
2004
15 years 4 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...