<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
\relax 
\citation{BauFurNie:ht}
\citation{ChaLee:slamtp}
\citation{Baumgartner:httng}
\citation{BauFurNie:ht}
\@writefile{toc}{\contentsline {paragraph}{Keywords:}{1}}
\@writefile{toc}{\contentsline {paragraph}{MSC codes:}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Hyper Tableaux with Constraints}{1}}
\citation{Baumgartner:httng}
\citation{Giese:pswbui}
\citation{Haskell98:rep}
\citation{Baumgartner:FDPLL}
\citation{Beckert:dfpswb}
\@writefile{toc}{\contentsline {section}{\numberline {2}Tableaux and Model Generation}{2}}
\@writefile{toc}{\contentsline {paragraph}{Initialization}{3}}
\@writefile{toc}{\contentsline {paragraph}{Split}{3}}
\@writefile{toc}{\contentsline {paragraph}{Extend}{3}}
\@writefile{toc}{\contentsline {paragraph}{Constrain}{4}}
\@writefile{toc}{\contentsline {paragraph}{Merge Check for Closure}{4}}
\@writefile{toc}{\contentsline {paragraph}{Open and Closed Tableaux}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Example Derivations: Informal Discussion}{6}}
\@writefile{toc}{\contentsline {paragraph}{Syllogistic Reasoning}{7}}
\@writefile{toc}{\contentsline {paragraph}{Reasoning about Relations}{7}}
\@writefile{toc}{\contentsline {paragraph}{Generation of Multiple Closing Substitutions}{8}}
\@writefile{toc}{\contentsline {paragraph}{Incompatibility of Closing Substitutions}{8}}
\@writefile{toc}{\contentsline {paragraph}{Closure by Merge}{9}}
\@writefile{toc}{\contentsline {paragraph}{An AI Puzzle}{9}}
\@writefile{toc}{\contentsline {paragraph}{Infinitary Tableau Development}{11}}
\@writefile{toc}{\contentsline {paragraph}{No All-Positive Clause Present}{12}}
\@writefile{toc}{\contentsline {paragraph}{Open Tableau; No Further Rules Applicable}{12}}
\bibstyle{acm}
\bibdata{/ufs/jve/texmacros/mybibentries}
\@writefile{toc}{\contentsline {paragraph}{Model Generation Example}{13}}
\bibcite{Baumgartner:httng}{1}
\bibcite{Baumgartner:FDPLL}{2}
\bibcite{BauFurNie:ht}{3}
\bibcite{Beckert:dfpswb}{4}
\bibcite{ChaLee:slamtp}{5}
\bibcite{EijHegNua:trap}{6}
\bibcite{Giese:pswbui}{7}
\bibcite{Haskell98:rep}{8}