Sciweavers

COMBINATORICS
2000
79views more  COMBINATORICS 2000»
13 years 11 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
DLOG
2004
14 years 16 days 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...