amt-systems.tex

% ----------------------------------------------------------------------
\begin{frame}{Constraint answer set solvers\only<5->{ and \alert{beyond}}}
  \begin{itemize}
  \item \adsolver\
  \item \clingcon\
    \begin{itemize}
    \item<only@2> \clingcon~1,~2
    \item<only@2> \clingcon~3
    \end{itemize}
  \item<3-> \dlvhex{\small[CP]}, \ezcsp, \gasp, \inca, \dots
    \medskip
  \item<4-> \alert<12>{\clingo~5}
    \begin{itemize}
    \item<5-> \clingcon~5
    \item<5-> \clingodl\
    \item<5-> \clingolp\
      \smallskip
    \item<only@6> \clingoM{t\only<6>{\footnote{Just some theory!}}}
    \end{itemize}
  \item<7-> \dlvhex\
    \medskip
  \item<8-> \lctocasp \
  \item<only@9 -> \aspartame\
  \item<only@10-> \aspmt, \dingo, \ezsmt, \mingo, \dots
  \item<only@11-> \dots
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: