clingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\clingo}
  \begin{itemize}
  \item \structure{Idea} \ \clingo\ = \gringo\ + \clasp\ + API
  \item \structure{APIs} \
    \C,
    \cpp,
    \java,
    \lua,
    \prolog,
    \python,
    \rust,
    \dots
  \item \structure{Features} \
    \begin{itemize}
    \item encompassing ASP system
    \item multi-shot solving
    \item theory solving
    \end{itemize}
  \item \structure{References} \ \cite{gekakasc17a,jakaosscscwa17a,karoscwa21a}
  \item \structure{Applications} \par
    \cite{liutru13a,gamarowawo15a,erdher20a,erfimapr20a,bojawe19a,schwitter12a,dabmar20a,ngstsoye20a,smanmapo12a,cosmma12a,dikophps20a,wotawa20a,bogerd20a,aisaam18a,becadolemamava21a,izmerd20a} etc
  \item \structure{Systems} \
    \cite{cafamu20a,bablee13a,scbhsuwa18a,tepfri18a,dvrawawo20a,bainkaokscsotawa18a,reraigpajh19a,eikarescwe17a} etc
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: