[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
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,
> *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:
> 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:
> 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:
> 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...
More information about the dl