grounding.tex

% ----------------------------------------------------------------------
\lecture{Grounding}{grounding}
% ----------------------------------------------------------------------
\part{Grounding}
% ----------------------------------------------------------------------
\input{grounding/macro}
\input{grounding/workflow-grounder-disclaimer}
% ----------------------------------------------------------------------
\section{Naive grounding}
% ------------------------------
\input{grounding/basics}
% ----------------------------------------------------------------------
\section{Bottom-up grounding}
% ------------------------------
\input{grounding/bottom-up-evaluation}
% ----------------------------------------------------------------------
\section{Semi-naive grounding}
% ------------------------------
\input{grounding/semi-naive-evaluation}
% ----------------------------------------------------------------------
\section{On-the-fly simplifications}
% ------------------------------
\input{grounding/simplifications}
% ----------------------------------------------------------------------
\section{Rule instantiation}
% ------------------------------
\input{grounding/rule-instantiation}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{grounding/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: