Skip to content

Commit

Permalink
migrate material from ecai tutorial and legacy course
Browse files Browse the repository at this point in the history
  • Loading branch information
@tortinator
tortinator committed Jan 30, 2021
1 parent cdb945b commit 5b7e9d8
Show file tree
Hide file tree
Showing 12 changed files with 5,503 additions and 11 deletions.
16 changes: 16 additions & 0 deletions applications.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
% ----------------------------------------------------------------------
\lecture{Applications}{applications}
% ----------------------------------------------------------------------
\part{Applications}
% ----------------------------------------------------------------------
\section{Train scheduling}
\input{applications/train-scheduling}
% ----------------------------------------------------------------------
\section{Robotic intra-logistics}
\input{applications/asprilo}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End:
32 changes: 32 additions & 0 deletions hsolving.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
% ----------------------------------------------------------------------
\lecture{Heuristic-driven solving}{hsolving}
% ----------------------------------------------------------------------
\part{Heuristic-driven solving}
% ----------------------------------------------------------------------
\section{Motivation}
% ------------------------------
\input{heuristic-driven-solving/motivation}
\input{solving/cdcl}
\input{heuristic-driven-solving/decide}
% ----------------------------------------------------------------------
\section{Heuristically modified ASP}
% ------------------------------
\subsection{Language}
% ------------------------------
\input{heuristic-driven-solving/hlanguage}
\input{heuristic-driven-solving/hstrips}
% ------------------------------
\subsection{Options}
% ------------------------------
\input{heuristic-driven-solving/hoptions}
\input{heuristic-driven-solving/hminimality}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{heuristic-driven-solving/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End:
2 changes: 1 addition & 1 deletion include/heuristic-driven-solving
Submodule heuristic-driven-solving updated 10 files
+2 −0 .gitignore
+35 −0 decide.tex
+34 −0 hlanguage.tex
+20 −0 hminimality.tex
+25 −0 hoptions.tex
+171 −0 hsolving.tex
+29 −0 hstrips.tex
+59 −0 inside-decide.tex
+22 −0 motivation.tex
+12 −0 summary.tex
2 changes: 1 addition & 1 deletion include/macros
Submodule macros updated from 837421 to 1ea6ba
2 changes: 1 addition & 1 deletion include/multi-shot-solving
Submodule multi-shot-solving updated 34 files
+1 −0 .gitignore
+19 −0 encodings/board.lp
+4 −0 encodings/hello.lp
+14 −0 encodings/inc.lp
+6 −0 encodings/optimization.lp
+25 −0 encodings/ricochet.lp
+48 −0 encodings/ricochet.py
+22 −0 encodings/targets.lp
+29 −0 encodings/toh.lp
+16 −0 encodings/tohCtrl.lp
+16 −0 encodings/tohCtrl.py
+16 −0 encodings/toh_ctrl.py
+25 −0 encodings/toh_enc_inc.lp
+9 −0 encodings/toh_ins.lp
+2 −0 incremental.tex
+217 −0 module-composition.tex
+0 −1,305 msolving.tex
+20 −20 robots.tex
+3 −0 snapshots/goal13a.png
+3 −0 snapshots/goal13z.png
+3 −0 snapshots/goal4a.png
+3 −0 snapshots/goal4z.png
+3 −0 snapshots/goal7a.png
+3 −0 snapshots/goal7z.png
+3 −0 snapshots/move1.png
+3 −0 snapshots/move2.png
+3 −0 snapshots/move3.png
+3 −0 snapshots/move4.png
+3 −0 snapshots/move5.png
+3 −0 snapshots/move6.png
+3 −0 snapshots/move7.png
+3 −0 snapshots/move8.png
+934 −0 states-and-operations.tex
+164 −0 towers-of-hanoi.tex
2 changes: 1 addition & 1 deletion include/theory-solving
Submodule theory-solving updated 17 files
+2 −0 .gitignore
+25 −0 acyclicity.tex
+78 −0 aspif.tex
+340 −0 casp.tex
+31 −0 encodings/d.aspif
+15 −0 encodings/d.grd
+8 −0 encodings/ezy.aspif
+3 −0 encodings/ezy.lp
+54 −0 figures/python-interface.tex
+30 −0 grammar-linear-constraints.tex
+20 −0 motivation.tex
+105 −0 send-more-money.tex
+14 −0 summary.tex
+84 −0 tpropagation.tex
+35 −0 tsolving-process-grounding.tex
+31 −0 tsolving-process-solving.tex
+60 −0 tsolving-process.tex
5,376 changes: 5,376 additions & 0 deletions include/tikz-uml.sty
View file

Large diffs are not rendered by default.

15 changes: 8 additions & 7 deletions main.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
\usepackage{tikz}
\usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes,calc,matrix,fit,backgrounds} % CHECK!!
% \usepackage{pgfpages}
% \usepackage{tikz-uml}
\usepackage{tikz-uml} % tsolving

\usepackage{chessboard}
\usepackage{weak-constraint-symbol}
Expand All @@ -41,6 +41,7 @@
\input{macros/operators}
\input{macros/tableau} % REVISE
\input{macros/listings} % DISTRIBUTE
\input{macros/modules}
\input{pifont-macros}
\input{algorithm-keywords}
%
Expand All @@ -62,8 +63,8 @@
%solving%
%
%encoding%
%meta%
msolving%
meta%
%msolving%
%tsolving%
%hsolving%
%systems%
Expand Down Expand Up @@ -91,13 +92,13 @@
\input{./ocharacterization}
\input{./pcharacterization}
\input{./solving}
%
% ------------------------------
\input{./encoding}
\input{./meta}
\input{./msolving}
% \input{./tsolving}
% \input{./hsolving}
% \input{./systems}
\input{./tsolving}
\input{./hsolving}
\input{./systems}
% ------------------------------
\input{./goodbye}
% ------------------------------
Expand Down
14 changes: 14 additions & 0 deletions msolving.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,16 @@ \section{External atoms}
\input{multi-shot-solving/external}
\input{multi-shot-solving/external-example}
% ----------------------------------------------------------------------
\section{Foundations}
% ----------------------------------------------------------------------
\subsection{Module composition}
% ------------------------------
\input{module-composition}
% ------------------------------------------------------------
\subsection{States and operations}
% ------------------------------
\input{states-and-operations}
% ----------------------------------------------------------------------
\section{Case studies}
% ----------------------------------------------------------------------
\subsection{Incremental solving}
Expand All @@ -27,6 +37,10 @@ \subsection{Optimization}
% ------------------------------
\input{multi-shot-solving/optimization}
% ----------------------------------------------------------------------
\subsection{Planning}
% ------------------------------
\input{multi-shot-solving/towers-of-hanoi}
% ----------------------------------------------------------------------
\subsection{Board gaming}
% ------------------------------
\input{multi-shot-solving/robots}
Expand Down
Binary file added slides/meta-encoding.pdf
View file
Binary file not shown.
10 changes: 10 additions & 0 deletions systems.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
% ----------------------------------------------------------------------
\lecture{Systems}{systems}
% ----------------------------------------------------------------------
\part{Systems}
% ----------------------------------------------------------------------

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End:
43 changes: 43 additions & 0 deletions tsolving.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
% ----------------------------------------------------------------------
\lecture{Theory solving}{tsolving}
% ----------------------------------------------------------------------
\part{Theory solving}
% ----------------------------------------------------------------------
\input{theory-solving/motivation}
\input{theory-solving/tsolving-process}
% ----------------------------------------------------------------------
\section{Theory language}
% ----------------------------------------------------------------------
\input{theory-solving/tsolving-process-grounding}
\input{theory-solving/grammar-linear-constraints}
\input{theory-solving/send-more-money}
% ----------------------------------------------------------------------
\section{Intermediate format}
% ------------------------------
\input{theory-solving/aspif}
% ----------------------------------------------------------------------
\section{Theory propagation}
% ----------------------------------------------------------------------
\input{theory-solving/tsolving-process-solving}
\input{systems/architecture-one}
\input{theory-solving/tpropagation}
% ----------------------------------------------------------------------
\section{Exemplars}
% ----------------------------------------------------------------------
\subsection{Acyclicity checking}
% ------------------------------
\input{acyclicity}
% ----------------------------------------------------------------------
\subsection{Constraint answer set programming}
% ------------------------------
\input{casp}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{theory-solving/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End:

0 comments on commit 5b7e9d8

Please sign in to comment.