|
potassco-asp-course's
repositories
|
|
encodings
|
|
examples
|
|
.gitignore
|
|
LICENSE
|
|
README.md
|
|
disclaimer.tex
|
|
diverse-models.tex
|
|
guess-and-check.tex
|
|
here-and-there.tex
|
|
introduction.tex
|
|
meta-encoding.tex
|
|
models.tex
|
|
preferred-models.tex
|
|
reification.tex
|
|
summary.tex
|
|
supported-models.tex
|