systems-list.tex

\providecommand{\purpose}[1]{\hfill #1}
% ----------------------------------------------------------------------
\begin{frame}[c]{ASP systems and tools}
  \begin{minipage}[t]{0.45\linewidth}
    \begin{itemize}
    \item<1> \gringo\purpose{grounding}
    \item<1> \clasp\purpose{solving}
    \item<1> \clingo\purpose{ASP}
    \item<1> \metasp\purpose{Meta ASP}
    \item<1> \clingcon\purpose{ASP+CP}
    \item<1> \fclingo\purpose{ASP+CP}
    \item<1> \clingodl\purpose{ASP+CP}
    \item<1> \clingolp\purpose{ASP+CP}
    \item<1> \clingolpx\purpose{ASP+CP}
    \item<1> \eclingo\purpose{epistemic ASP}
    \item<1> \plingo\purpose{probabilistic ASP}
    \item<1> \telingo\purpose{temporal ASP}
    \end{itemize}
  \end{minipage}
  \pause
  \begin{minipage}[t]{0.4\linewidth}
    \begin{itemize}
    \item<2> \clinsight\purpose{editing}
    \item<2> \xclingo\purpose{explaining}
    \item<2> \clingo\textit{-server}\purpose{surfing}
    \item<2> \acclingo\purpose{tuning}
    \item<2> \anthem\purpose{verifying}
    \item<2> \asprin\purpose{preferring}
    \item<2> \clingraph\purpose{visualizing}
    \item<2> \clinguin\purpose{interacting}
    \item<2> \viasp\purpose{visualizing}
    \item<2> \clintest\purpose{testing}
    \item<2> \clorm\purpose{dataing}
    \item<2> \ngo\purpose{optimizing}
  \end{itemize}
\end{minipage}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: