@article{Salzmann2009,
  author    = {Salzmann, Martin},
  title     = {Variation in resumption requires violable constraints},
  series = {Linguistics in Potsdam},
  journal   = {Linguistics in Potsdam},
  number    = {28},
  issn      = {1616-7392},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-32251},
  pages     = {99 -- 132},
  year      = {2009},
  abstract  = {Variation in dative resumption among and within Alemannic varieties of German strongly favors an Evaluator component that makes use of optimality-theoretic evaluation rather than filters as in the Minimalist Program (MP). At the same time, the variation is restricted to realizational requirements. This supports a model of syntax like the Derivations and Evaluations framework (Broekhuis 2008) that combines a restrictive MP-style Generator with an Evaluator that includes ranked violable (interface) constraints.},
  language  = {en}
}
@misc{OstrowskiSchaub2012,
  author    = {Ostrowski, Max and Schaub, Torsten H.},
  title     = {ASP modulo CSP},
  series = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {579},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-41390},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-413908},
  pages     = {19},
  year      = {2012},
  abstract  = {We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude.},
  language  = {en}
}
@article{FelserCunningsBatterhametal.2012,
  author    = {Felser, Claudia and Cunnings, Ian and Batterham, Claire and Clahsen, Harald},
  title     = {The timing of Island effects in nonnative sentence processing},
  series = {Studies in second language acquisition},
  volume    = {34},
  journal   = {Studies in second language acquisition},
  number    = {1},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  issn      = {0272-2631},
  doi       = {10.1017/S0272263111000507},
  pages     = {67 -- 98},
  year      = {2012},
  abstract  = {Using the eye-movement monitoring technique in two reading comprehension experiments, this study investigated the timing of constraints on wh-dependencies (so-called island constraints) in first- and second-language (L1 and L2) sentence processing. The results show that both L1 and L2 speakers of English are sensitive to extraction islands during processing, suggesting that memory storage limitations affect L1 and L2 comprehenders in essentially the same way. Furthermore, these results show that the timing of island effects in L1 compared to L2 sentence comprehension is affected differently by the type of cue (semantic fit versus filled gaps) signaling whether dependency formation is possible at a potential gap site. Even though L1 English speakers showed immediate sensitivity to filled gaps but not to lack of semantic fit, proficient German-speaking learners of English as a L2 showed the opposite sensitivity pattern. This indicates that initial wh-dependency formation in L2 processing is based on semantic feature matching rather than being structurally mediated as in L1 comprehension.},
  language  = {en}
}
@misc{FelserCunningsBatterhametal.2012,
  author    = {Felser, Claudia and Cunnings, Ian and Batterham, Claire and Clahsen, Harald},
  title     = {The timing of island effects in nonnative sentence processing},
  series = {Postprints der Universit{\"a}t Potsdam Humanwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam Humanwissenschaftliche Reihe},
  issn      = {1866-8364},
  doi       = {10.25932/publishup-41517},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-415179},
  pages     = {32},
  year      = {2012},
  abstract  = {Using the eye-movement monitoring technique in two reading comprehension experiments, this study investigated the timing of constraints on wh-dependencies (so-called island constraints) in first- and second-language (L1 and L2) sentence processing. The results show that both L1 and L2 speakers of English are sensitive to extraction islands during processing, suggesting that memory storage limitations affect L1 and L2 comprehenders in essentially the same way. Furthermore, these results show that the timing of island effects in L1 compared to L2 sentence comprehension is affected differently by the type of cue (semantic fit versus filled gaps) signaling whether dependency formation is possible at a potential gap site. Even though L1 English speakers showed immediate sensitivity to filled gaps but not to lack of semantic fit, proficient German-speaking learners of English as a L2 showed the opposite sensitivity pattern. This indicates that initial wh-dependency formation in L2 processing is based on semantic feature matching rather than being structurally mediated as in L1 comprehension.},
  language  = {en}
}
@misc{HoehleHoernigWeskottetal.2014,
  author    = {H{\"o}hle, Barbara and H{\"o}rnig, Robin and Weskott, Thomas and Knauf, Selene and Kr{\"u}ger, Agnes},
  title     = {Effects of focus and definiteness on children's word order},
  series = {Postprints der Universit{\"a}t Potsdam Humanwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam Humanwissenschaftliche Reihe},
  number    = {511},
  issn      = {1866-8364},
  doi       = {10.25932/publishup-41569},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-415695},
  pages     = {31},
  year      = {2014},
  abstract  = {Two experiments tested how faithfully German children aged 4; 5 to 5; 6 reproduce ditransitive sentences that are unmarked or marked with respect to word order and focus (Exp1) or definiteness (Exp2). Adopting an optimality theory (OT) approach, it is assumed that in the German adult grammar word order is ranked lower than focus and definiteness. Faithfulness of children's reproductions decreased as markedness of inputs increased; unmarked structures were reproduced most faithfully and unfaithful outputs had most often an unmarked form. Consistent with the OT proposal, children were more tolerant against inputs marked for word order than for focus; in conflict with the proposal, children were less tolerant against inputs marked for word order than for definiteness. Our results suggest that the linearization of objects in German double object constructions is affected by focus and definiteness, but that prosodic principles may have an impact on the position of a focused constituent.},
  language  = {en}
}
@phdthesis{Ostrowski2018,
  author    = {Ostrowski, Max},
  title     = {Modern constraint answer set solving},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-407799},
  school      = {Universit{\"a}t Potsdam},
  pages     = {135},
  year      = {2018},
  abstract  = {Answer Set Programming (ASP) is a declarative problem solving approach, combining a rich yet simple modeling language with high-performance solving capabilities. Although this has already resulted in various applications, certain aspects of such applications are more naturally modeled using variables over finite domains, for accounting for resources, fine timings, coordinates, or functions. Our goal is thus to extend ASP with constraints over integers while preserving its declarative nature. This allows for fast prototyping and elaboration tolerant problem descriptions of resource related applications. The resulting paradigm is called Constraint Answer Set Programming (CASP). We present three different approaches for solving CASP problems. The first one, a lazy, modular approach combines an ASP solver with an external system for handling constraints. This approach has the advantage that two state of the art technologies work hand in hand to solve the problem, each concentrating on its part of the problem. The drawback is that inter-constraint dependencies cannot be communicated back to the ASP solver, impeding its learning algorithm. The second approach translates all constraints to ASP. Using the appropriate encoding techniques, this results in a very fast, monolithic system. Unfortunately, due to the large, explicit representation of constraints and variables, translation techniques are restricted to small and mid-sized domains. The third approach merges the lazy and the translational approach, combining the strength of both while removing their weaknesses. To this end, we enhance the dedicated learning techniques of an ASP solver with the inferences of the translating approach in a lazy way. That is, the important knowledge is only made explicit when needed. By using state of the art techniques from neighboring fields, we provide ways to tackle real world, industrial size problems. By extending CASP to reactive solving, we open up new application areas such as online planning with continuous domains and durations.},
  language  = {en}
}