% $Id: organization.tex 60895 2018-10-20 11:07:14Z torsten $
% $HeadURL: https://svn.cs.uni-potsdam.de/svn/reposWV/Lehre/ASP/trunk/Slides/organization.tex $
%------------------------------------------------------------
\lecture{Organization}{organization}
%------------------------------------------------------------
{
\AtBeginPart{}%
\part{Organization}%
}
%------------------------------------------------------------
\begin{frame}[fragile,shrink,c]{Rough Roadmap}
  \begin{enumerate}
  \item Motivation
  \item Introduction
  \item Modeling
  \item Language
  \item Grounding
  \item Foundations
  \item Solving
  \item Multi-shot solving
  \item Theory solving
  \item Heuristic programming
  \item Systems
  \item Advanced modeling
  \item Preferences and Optimization
  \item Applications
  \item Summary
  \item [] Bibliography
  \end{enumerate}
\end{frame}
%------------------------------------------------------------
\begin{frame}{Resources}
  \begin{itemize}
  \item Course material
    \begin{itemize}
    \item \url{http://potassco.org/teaching}
\ifLECTURE
    \item \url{http://moodle.cs.uni-potsdam.de}
%    \item \url{http://www.cs.uni-potsdam.de/wv/lehre}
\fi
%    \item \url{http://www.cs.uni-potsdam.de/~torsten/asp}
    \end{itemize}
  \item Systems
    \begin{itemize}
    \item \alert{\clasp} \hfill \url{http://potassco.org}
    \item \alert{\clingo}\hfill \url{http://potassco.org}
    \item \dlv\ \hfill \url{http://www.dlvsystem.com}
    \item \smodels\ \hfill \url{ http://www.tcs.hut.fi/Software/smodels}%
    \item \wasp\ \hfill \url{https://www.mat.unical.it/ricca/wasp}
      \medskip
    \item \alert{\gringo} \hfill \url{http://potassco.org}
    \item \lparse\ \hfill \url{http://www.tcs.hut.fi/Software/smodels}%
      \bigskip
    \item \asparagus\ \hfill \url{ http://asparagus.cs.uni-potsdam.de}
    \end{itemize}
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{The Potassco Book\only<2->{ and Guide}}
  \bigskip
  \qquad\small
  \begin{tabular}[b]{rl}
    {1.}&{Motivation}\\
    {2.}&{Introduction}\\
    {3.}&{Basic modeling}\\
    {4.}&{Grounding}\\
    {5.}&{Characterizations}\\
    {6.}&{Solving}\\
    {7.}&{Systems}\\
    {8.}&{Advanced modeling}\\
    {9.}&{Conclusions}
  \end{tabular}
  \hfill
  \colorbox{white}{\includegraphics[height=.4\textheight]{Organization/book.pdf}}
  \only<2->{\colorbox{white}{\includegraphics[height=.4\textheight]{Organization/guide.pdf}}}
  \hfill\qquad
  \pause[3]

  \bigskip

  \begin{block}{Resources}
    \vspace{-2ex}
    \begin{itemize}\itemsep 0pt
    \item \url{http://potassco.org/book}
    \item \url{http://potassco.org/teaching}
    \end{itemize}
    \vspace{-2ex}
  \end{block}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{Literature}

\begin{description}
\item[Books]
\cite{baral02a},
\cite{gekakasc12a},
\cite{gelkah14a},
\cite{martru93a}
\item[Surveys]
\cite{lifschitz04a},
% \cite{ankolisc05a},
\cite{gelfond08a},
\cite{eiiakr09a},
\cite{breitr11a}
\item[Articles]
\cite{gellif88b},
\cite{gellif90a},
\cite{bargel94a},
\cite{niemela99a},
\cite{martru99a},
\cite{lifschitz02a},
\cite{gelleo02a},
\cite{gehakalisc15a},
etc.
\nocite{PotasscoUserGuide}
\end{description}

% See also bibliography section at the end of each slide package.

\end{frame}
%------------------------------------------------------------
% \putbib[lit,procs,akku,theses]
%------------------------------------------------------------
%%% Local Variables:
%%% mode: latex
%%% TeX-PDF-mode: t
%%% TeX-master: "asp"
%%% End:
