@techreport{ApelojgBosseGeschkeetal.2021,
  type      = {Working Paper},
  author    = {Apelojg, Benjamin and Bosse, Stefanie and Geschke, Doreen and Hausner, Christian and Jennek, Julia and Liebner, Saskia and Lipka, Marlies and Marx, Alexandra and Pl{\"o}tner, Kathleen and Reimann, Christina and Sievert, Florian and Sp{\"o}rer, Nadine and Teke, G{\"u}lay and V{\"o}lkner, Katrin and Wabnitz, Juliane and Waschke, Lene and Zielke, Sonja and Zrenner, Laura},
  title     = {Rahmenkonzept der Universit{\"a}tsschule Potsdam},
  editor    = {Sp{\"o}rer, Nadine and V{\"o}lkner, Katrin},
  organization    = {Konzeptteam Universit{\"a}tsschule Potsdam},
  doi       = {10.25932/publishup-49138},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-491380},
  pages     = {46},
  year      = {2021},
  abstract  = {Das Rahmenkonzept der Universit{\"a}tsschule Potsdam beschreibt die Wertegrundlage und das p{\"a}dagogisch-didaktische sowie das wissenschaftliche Fundament einer zu gr{\"u}ndenden Universit{\"a}tsschule Potsdam. Wie andere Universit{\"a}tsschulen soll sich auch diese Schule durch eine enge und institutionalisierte Beziehung zwischen Schule und Universit{\"a}t auszeichnen, die den st{\"a}ndigen Wissenstransfer zwischen Schulpraxis, Wissenschaft, Lehrkr{\"a}ftebildung und Schulverwaltung unterst{\"u}tzt. Das Rahmenkonzept legt die Grundlagen f{\"u}r eine inklusive Schule, deren Sch{\"u}ler:innen einen Querschnitt der Gesellschaft abbilden, und die in ungleichheitssensiblen Bildungsangeboten alle Bildungsabschl{\"u}sse des Landes Brandenburg anbietet. Die Universit{\"a}tsschule soll den starken Segregationsprozessen in Potsdam entgegenwirken. Im Leitbild werden die Grundwerte (Nachhaltigkeit, Inklusion und Bildungsgerechtigkeit, Menschenrechte und Demokratie, Gemeinschaft, Ganzheitlichkeit) und die Bildungsziele (Transferf{\"a}higkeit, kritisch-reflexives Denken und lebensbegleitendes Lernen, Diversit{\"a}tsbewusstsein und Transkulturalit{\"a}t, Selbstkompetenz und Beziehungskompetenz, Kulturtechniken und digitale Kompetenz) der Universit{\"a}tsschule dargestellt. Das P{\"a}dagogische Konzept veranschaulicht, wie Werte und Bildungsziele in den Bereichen Schulform, Schulkultur, Lernkultur sowie Lernorte und Lernumgebung ausgestaltet werden k{\"o}nnen. Schließlich wird die Universit{\"a}tsschule als lernende und lehrende Institution beschrieben, die ein Ort des Transfers von Bildungsinnovationen ist. Daf{\"u}r soll eine Transferwerkstatt in der Schule verankert werden, die den Wissensaustausch der schulrelevanten Akteur:innen unterst{\"u}tzt und gestaltet.},
  language  = {de}
}
@article{FandinnoLaferriereRomeroetal.2021,
  author    = {Fandinno, Jorge and Laferriere, Francois and Romero, Javier and Schaub, Torsten H. and Son, Tran Cao},
  title     = {Planning with incomplete information in quantified answer set programming},
  series = {Theory and practice of logic programming},
  volume    = {21},
  journal   = {Theory and practice of logic programming},
  number    = {5},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  issn      = {1471-0684},
  doi       = {10.1017/S1471068421000259},
  pages     = {663 -- 679},
  year      = {2021},
  abstract  = {We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptions. We represent planning problems using a simple formalism where logic programs describe the transition function between states, the initial states and the goal states. For solving planning problems, we use Quantified Answer Set Programming (QASP), an extension of ASP with existential and universal quantifiers over atoms that is analogous to Quantified Boolean Formulas (QBFs). We define the language of quantified logic programs and use it to represent the solutions different variants of conformant and conditional planning. On the practical side, we present a translation-based QASP solver that converts quantified logic programs into QBFs and then executes a QBF solver, and we evaluate experimentally the approach on conformant and conditional planning benchmarks.},
  language  = {en}
}