summary.tex

% ----------------------------------------------------------------------
\begin{frame}<0>{Easy ASP}
\vfill
\begin{itemize}
\item
The answer sets of an easy logic program \\ are the result of applying its rules in order
\bigskip
\item
A rule is applied in order if for every predicate in its body \\
there are no rules with that predicate in the head left to be applied
%\item
%As long as the rules are applied in order, \\
%the result is independent of the specific order
\bigskip
\item
Sets of recursive rules are considered as a single rule \\
that is applied repeatedly until nothing changes
\bigskip
\item 
Negative recursion is not allowed
\end{itemize}
\vfill
\end{frame}

% ----------------------------------------------------------------------
\begin{frame}<0>[label=ezasp:summary]{Easy ASP}
%
% starts at step 10
%
\vfill
\begin{itemize}
%
\uncover<10->{
\item
The \alert<10,50,61->{answer sets} of an easy logic program \\ are the result of \alert<11>{applying} its rules \alert<12>{in order}
%
\uncover<11->{
\bigskip
\item
The \alert<11,21,50,61->{application} of choice, normal and constraint rules\\
generates, extends and eliminates answer sets
}
%
\uncover<12->{
\bigskip
\item
A rule is applied \alert<12,50,61->{in order} if for every \alt<-20>{atom}{\alert<21>{predicate}} in its body \\
there are no rules with that \alt<-20>{atom}{\alert<21>{predicate}} in the head left to be applied
}
}
%\alt<10-29>{
%\uncover<13->{
%\bigskip
%\item
%The result is \alert{independent} of the specific order \\
%as long as the rules are applied in order
%}
%}{
%
\visible<30->{\uncover<31->{
\bigskip
\item
Sets of \alert<31,50,61->{recursive rules} are considered as a single rule \\
that is applied repeatedly until nothing changes%
\only<61->{\visible<62->{:\\
\alert<62>{first choice rules, then iterating over normal rules, and so on\ldots}}}
}}
%}
%
\visible<40,41,50->{\uncover<41,50->{
\bigskip
\item 
\alert<41,50,61->{Negative recursion} is not allowed
}}
\end{itemize}
\vfill

\begin{center}
\begin{tikzpicture}[remember picture,overlay]
\only<13,20-21>{
\node at (0,2)
{\resizebox{0.40\textwidth}{!}{{\alert{\textbf{Write the rules in order}}}}};
}
\only<30-39>{
\node[rotate=0] at (0,0.75)
{\resizebox{0.40\textwidth}{!}{{\alert{\textbf{Write the rules in order}}}}};
}
\only<40-51,61->{
\node[rotate=0] at (3.25,0.75)
{\resizebox{0.40\textwidth}{!}{{\alert{\textbf{Write the rules in order}}}}};
}
%%%%\only<5>{\node at (9.25,2.6) {\Large{\textbf{\alert{Later}}}};}
%%%%\only<6-7>{\node at (9.65,2.6) {\Large{\textbf{\alert{Not easy}}}};}
\end{tikzpicture}
\end{center}
\end{frame}