xclingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\xclingo}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with explanations of answer sets
  \item \structure{Features} \
    \begin{itemize}
    \item adds text annotations to display proofs
    \end{itemize}
  \item \structure{References} \ \cite{cafabr20a}
  \item \structure{Origin} \ Made at Potassco Solutions Spain
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: