\batchmode
\documentstyle[psfig,lingmacros,named]{article}
\makeatletter
\title{Miscommunication in Multi-modal Collaboration}
\author{ David R. Traum and Pierre Dillenbourg \\ 
        David.Traum@tecfa.unige.ch and pdillen@divsun.unige.ch \\ 
        TECFA, FPSE\\ 
        Universit\'{e} de Gen\`{e}ve\\ 
        9, Route De Drize, BAT D\\          
        CH-1227 Carouge, Switzerland
        }


\date{}


\newcommand {\exa}[1]{(\ex{#1})}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
\stepcounter{section}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Done(A,\alpha)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline435: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\alpha$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline437: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\alpha \rightarrow \mu$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline439: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mu$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline443: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$ Done(A,\alpha) \wedge \alpha\rightarrow \mu$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline445: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Bel(B,  \alpha \rightarrow \nu)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline459: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\nu \neq
  \mu$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline461: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\neg \mu$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline465: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline469: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Bel(A, \phi) \wedge \neg Bel(B,\phi)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline473: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$Bel(A,  \phi) \wedge \neg \phi$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline475: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{figure}[htp] \begin{center}
\leavevmode\psfig{figure=/home/traum/AdobeIllustrator/Illustrator.MacFiles/fig2.eps,height=2.0in}
\end{center}
  
  \label{f:comm}
\end{figure}
}

\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\rm BeingThere^{\small TM}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline483: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$P(\alpha) \propto \frac{GC(\mu) - G(\mu)}{C(\alpha)}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline489: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\alpha^{\prime}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline505: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mu^{\prime}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline509: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}

\end{document}
