|
notebooks
|
|
course-winter-2020-21
|
|
extensions
|
|
grounding
|
|
computation
|
|
proof-theoretic-characterization
|
|
operational-characterization
|
|
axiomatic-characterization
|
|
solving
|
|
meta-encoding
|
|
project-krr-telingo
|
|
language
|
|
applications
|
|
project-student-course-scheduling
|
|
project-ui-student-course-scheduling
|
|
encoding
|
|
asp-tutorial-kr21
|
|
dynamic-asp
|
|
project-theory-solving-evaluation
|
|
project-multi-shot
|
|
project-scheduling
|
|
project-creek
|
|
project-elevator
|
|
project-theory-solving
|
|
project-minotaur
|
|
project-seeknumbers
|
|
introduction
|
|
motivation
|
|
administration
|
|
ezasp
|
|
next
|