Sciweavers

COMBINATORICS
2000
79views more  COMBINATORICS 2000»
14 years 9 months ago
Some Bijective Correspondences Involving Domino Tableaux
We define a number of new combinatorial operations on skew semistandard domino tableaux that complement constructions defined by C. Carr
Marc A. A. van Leeuwen
83
Voted
DLOG
2004
14 years 11 months ago
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
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...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...