[DL] tableau or tableauX ?

[Son LeThanh]

Hi all,

Maybe my question is considered silly, but I hope that DL community can explain me what is the difference between the word "tableau" and "tableauX" and how to use them.

For example, in the paper "A Tableaux Decision Procedure for SHOIQ" of Horrock et al., there are phrases:

- "a tableauX decision procedure"
- "design of tableauX algorithms"
- "the SHIQ tableauX algorithm"
- "The SHOIQ tableau algorithm"
- "a tableauX algorithm for SHOIQ"
- "A tableau algorithm for SHOIQ"
- "the tableau algorithm"
- "The tableauX expansion rules for SHIQ"
- "Tableau systems for SHIO and SHIQ."

If there is no difference between these words, I think there should be a consistency in using words.

Thank you very much for your help.
Best regards,
Son

dl-request at dl.kr.org wrote: Welcome to the dl at dl.kr.org mailing list!

To post to this list, send your email to:

General information about the mailing list is at:

  https://dl.kr.org/mailman/listinfo/dl

If you ever want to unsubscribe or change your options (eg, switch to
or from digest mode, change your password, etc.), visit your
subscription page at:

  https://dl.kr.org/mailman/options/dl/joel32006%40yahoo.com

You can also make such adjustments via email by sending a message to:

  dl-request at dl.kr.org

with the word `help' in the subject or body (don't include the
quotes), and you will get back a message with instructions.

You must know your password to change your options (including changing
the password, itself) or to unsubscribe.  It is:

  letsgo

Normally, Mailman will remind you of your dl.kr.org mailing list
passwords once every month, although you can disable this if you
prefer.  This reminder will also include instructions on how to
unsubscribe or change your account options.  There is also a button on
your options page that will email your current password to you.

       
---------------------------------
Ahhh...imagining that irresistible "new car" smell?
 Check outnew cars at Yahoo! Autos.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20070418/ca7df882/attachment.htm>