|
..
|
|
README.md
|
|
administration
|
|
algorithm-keywords.tex
|
|
axiomatic-characterization
|
|
beamer-config.tex
|
|
beamer-patch.sty
|
|
bibliography
|
|
computation
|
|
controlling
|
|
dynamic-asp
|
|
encoding
|
|
extensions
|
|
grounding
|
|
heuristic-driven-solving
|
|
hybrid-asp
|
|
introduction
|
|
language
|
|
logos
|
|
macros
|
|
meta-encoding
|
|
modeling
|
|
motivation
|
|
multi-shot-solving
|
|
operational-characterization
|
|
organization
|
|
pifont-macros.tex
|
|
proof-theoretic-characterization
|
|
solving
|
|
systems
|
|
theory-solving
|
|
tikz-uml.sty
|
|
weak-constraint-symbol.sty
|