adlingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\textit{adlingo}}
  \begin{itemize}
    \item \structure{Idea} System for dynamic reasoning via translation into Two-way Alternating Automata
    \item \structure{Features} 
      \begin{itemize}
      \item Dynamic formulas appear as theory atoms in integrity constraints
      \item Uses reification and meta-programming to create a declarative representation of the corresponding automata
      \item Command line integration 
      \item Integrated \clingraph\ visualization for traces and automata
      \end{itemize}
    \item \structure{Technology} \ \clingo\ Meta-programming, \clingraph
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: