|
potassco-asp-course's
repositories
|
|
.gitignore
|
|
LICENSE
|
|
README.md
|
|
asp-min-sat.tex
|
|
asp-one.tex
|
|
asp-sat-one.tex
|
|
atoms-terms-light.tex
|
|
closure.tex
|
|
conventions.tex
|
|
definitions-light.tex
|
|
definitions.tex
|
|
diagram-semantics.tex
|
|
diagram-syntax.tex
|
|
foundations.tex
|
|
grounding-example.tex
|
|
grounding-instantiation.tex
|
|
grounding-tt.tex
|
|
ht.tex
|
|
language-constructs-one.tex
|
|
language-constructs.tex
|
|
literal-light.tex
|
|
preliminaries.tex
|
|
reasoning-modes.tex
|
|
rule-exemplars-light.tex
|
|
rule-exemplars.tex
|
|
rule-program-light.tex
|
|
rule-program-simple-one.tex
|
|
rule-program-simple.tex
|
|
rule-program-stable-model-light.tex
|
|
rule-program.tex
|
|
safety-tt.tex
|
|
safety.tex
|
|
stable-definition.tex
|
|
stable-examples.tex
|
|
stable-exemplars-light.tex
|
|
stable-exemplars.tex
|
|
stable-founded.tex
|
|
stable-idea.tex
|
|
stable-logic.tex
|
|
stable-model-via-reduct.tex
|
|
stable-properties-light.tex
|
|
stable-properties.tex
|
|
stable-variables.tex
|
|
summary-light.tex
|
|
summary.tex
|
|
tabling.tex
|
|
trash
|