fclingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\fclingo}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with ASP-like linear constraints over integers
  \item \structure{Features} \
    \begin{itemize}
    \item integer variables not subject to grounding
      % \item specialized solver for linear constraints
    \item values of variables must be derivable, variables may be undefined
    \item optional variables, defaults, assignments
    \item check whether variables are defined
    \item basic constraints: strict and non-strict \lstinline{&sum}, \lstinline{&min}, \lstinline{&max}
    \end{itemize}
  \item \structure{Technology} \ translation to \clingcon
  \item \structure{References} \ \cite{cafascwa20a,cafascwa20b}
  \item \structure{Applications} \ incorporate quantities, like resources and/or time
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: