ezasp.tex

% ----------------------------------------------------------------------
\lecture{Easy Answer Set Programming}{ezasp}
% ----------------------------------------------------------------------
\part{Easy Answer Set Programming}
% ----------------------------------------------------------------------
\input{ezasp/macro}
% ----------------------------------------------------------------------
\input{modeling/diagram-modeling}
% ----------------------------------------------------------------------
\section{Motivation}
% ------------------------------
% \input{ezasp/summary}
\input{ezasp/motivation}
% ----------------------------------------------------------------------
\section{A first example}
% ------------------------------
\input{ezasp/example1}
% ----------------------------------------------------------------------
\section{A second example}
% ------------------------------
\input{ezasp/example2}
% ----------------------------------------------------------------------
\section{Variables}
% ------------------------------
\input{ezasp/example3}
\input{ezasp/example4}
% ----------------------------------------------------------------------
\section{Recursion}
% ------------------------------
\input{ezasp/example5}
% \input{ezasp/example6}
% ----------------------------------------------------------------------
\section{Traveling salesperson}
% ------------------------------
\input{ezasp/traveling}
% ----------------------------------------------------------------------
\section{Even and odd numbers}
% ------------------------------
\input{ezasp/oddeven}
% ----------------------------------------------------------------------
% \section{Beyond ezASP}
% ------------------------------
% \input{ezasp/negative}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{ezasp/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: