[DL] tableau or tableauX ?

Fernando Naufel do Amaral fnaufel at gmail.com
Fri Apr 20 21:43:12 CEST 2007


  "Tableaux" is plural; "tableau" is singular. In French. There is no other
difference.

-- 
Fernando Náufel, D.Sc.
fnaufel at ic.uff.br

Professor Adjunto (Associate Professor)
Ciência da Computação (Computer Science)
DCT - Depto. de Ciência e Tecnologia
PURO - Pólo Universitário de Rio das Ostras
UFF - Universidade Federal Fluminense
-- 

On 4/18/07, Son LeThanh <joel32006 at yahoo.com> wrote:
>
> 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 out new cars at Yahoo! Autos.<http://us.rd.yahoo.com/evt=48245/*http://autos.yahoo.com/new_cars.html;_ylc=X3oDMTE1YW1jcXJ2BF9TAzk3MTA3MDc2BHNlYwNtYWlsdGFncwRzbGsDbmV3LWNhcnM->
>
>
> ---
> **  You received this mail via the description logic mailing list; for
> more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.
>  **
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20070420/70bd9741/attachment.html>


More information about the dl mailing list