Speeding up Lazy-Grounding Answer Set Solving

The grounding bottleneck is an important open issue in Answer Set Programming. Lazy grounding addresses it by interleaving grounding and search. The performance of current lazy-grounding solvers is not yet comparable to that of ground-and-solve systems, however. The aim of this thesis is to extend prior work on lazy grounding by novel heuristics and other techniques like non-ground conflict learning in order to speed up solving. Parts of expected results will be beneficial for ground-and-solve systems as well

Richard Adolf Hoffmann und seine Theologie

Diese Diplomarbeit will eine intellektuelle Biographie von Richard Adolf Hoffmann sein, der von 1915 bis 1939 ordentlicher Professors für Neues Testament an der Evangelisch-theologischen Fakultät der Universität Wien war. Er wurde am 22.6.1872 in Königsberg in Preußen geboren, war seit 1919 mit Maria Hoffmann (geborene Kennemann) verheiratet und verstarb am 26.4.1948 in Wien, wo er seit 1915 dauerhaft gelebt hatte und wo er auch beerdigt wurde. Er studierte Theologie in Königsberg und Halle und lehrte seit 1897 als Privatdozent an der Universität Königsberg. 1907 begann Hoffmann bereits als außerordentlicher Professor für Neues Testament in Wien zu lehren, wohin er 1915 als ordentlicher Professor berufen wurde. Der Fokus der Arbeit liegt in der Darstellung, Beurteilung und historischen Verortung der Publikationen Hoffmanns und der darin enthaltenen Thesen. Dabei werden drei Schwerpunkte seiner Arbeit behandelt, zunächst die exegetischen und neutestamentlichen Arbeiten, die sich überwiegend der Erforschung des historischen Jesus und dessen Lehre und Selbstverständnis widmen, sodann die parapsychologisch motivierten Schriften, die das Ziel haben, Phänomene des Urchristentums (allen voran die Auferstehung Jesu) mit Hilfe spiritistischer Phänomene wie Materialisationen und Kundgebungen Verstorbener zu erklären, und zuletzt die Schriften Hoffmanns als radikaler Deutscher Christ, die v.a. darauf abzielen, über den Glaubensbegriff des heroischen, opferbereiten Jesus das Christentum und den Nationalsozialismus miteinander zu harmonieren. Dabei greift Hoffmann auf Erkenntnisse seiner früheren Arbeiten zurück und bereitet sie neu auf, um sie für den Nationalsozialismus attraktiv zu machen. Seine wissenschaftlichen Erkenntnisse will er sodann auch politisch umgesetzt wissen und engagiert sich auch dementsprechend in der „Akademikerschaft im Evangelischen Bund für Österreich“ und im Eisenacher „Institut zur Erforschung und Beseitigung des jüdischen Einflusses auf das deutsche kirchliche Leben“. Hoffmanns Entwicklung vom liberalen Bibelwissenschaftler zum radikalen Deutschen Christen wird von der vorliegenden Arbeit auch in die Geschichte der Deutschen Christen in Österreich und des „Eisenacher Institutes“ sowie der Wiener Evangelisch-theologischen Fakultät im Nationalsozialismus eingebettet. Ebenso wird sein Wirken im Bereich der Parapsychologie mit der Tätigkeit der Österreichischen Gesellschaft für Parapsychologie in Verbindung gesetzt

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with heuristics that are specified non-monotonically on the basis of partial assignments. Such heuristics frequently occur in practice, for example, when picking an item that has not yet been placed in bin packing. Therefore, we present novel syntax and semantics for declarative specifications of domain-specific heuristics in ASP. Our approach supports heuristic statements that depend on the partial assignment maintained during solving, which has not been possible before. We provide an implementation in ALPHA that makes ALPHA the first lazy-grounding ASP system to support declaratively specified domain-specific heuristics. Two practical example domains are used to demonstrate the benefits of our proposal. Additionally, we use our approach to implement informed} search with A*, which is tackled within ASP for the first time. A* is applied to two further search problems. The experiments confirm that combining lazy-grounding ASP solving and our novel heuristics can be vital for solving industrial-size problems

Einfluss von Sprachkonstrukten auf die Lösbarkeit von Answer-Set-Programmen : eine empirische Untersuchung aktueller ASP-Systeme

Richard TaupeZsfassung in engl. SpracheKlagenfurt, Alpen-Adria-Univ., Master-Arb., 2015(VLID)241515

Frauenbilder im Nationalsozialismus : Kontinuitäten und Brüche

Ines TaupeZsfass. in engl. SpracheKlagenfurt, Alpen-Adria-Univ., Dipl.-Arb., 2011(VLID)241413

Thermal treatment technologies for low moisture and dehydrated manure feedstock

The research carried out throughout this project has helped to further advance the area of producing biochar from animal manure feedstocks, as well as producing biochar from virgin wood for its application in manure management systems. On-farm auto-thermal updraft gasification of poultry litter (PL) was carried out to yield a low calorific value product gas (3.39 MJ m-3N LHV), along with a tar and char residue. The ash melting point of 639 °C of PL made low temperature operation necessary, resulting in a low cold gas efficiency (GCE = 0.26). The same PL feedstock, dehydrated cow manure, and pre-digested swine manure were subject to slow pyrolysis to produce nutrient rich biochars and to recycle them back to agricultural land. All biochars exceeded the set thresholds of Zn and Cu (400 g t-1 and 100 g t-1 respectively) for European biochar certification. Recoveries in biochars were high (~90 wt.%) for all nutrients except for N and S (28-62 wt.%) and some heavy metals, e.g. Pb and Ni (21-31 wt.%). Biochars produced at 400 °C resulted in a significantly higher nutrient uptake to lettuce (Lactuca sativa) than biochars produced at 600 °C, and slow pyrolysis biochars significantly increased N uptake as opposed to the gasification char. Sitka spruce biochar was produced using a uniquely designed Kon-Tiki kiln. The biochar along with sulfuric acid were used as cow slurry additives to evaluate their impact on NH3, CH4 and H2S emissions. Biochar alone had no significant effect on NH3 and H2S, but biochar might be able to reduce CH4 emissions. Sulfuric acid reduced cumulative NH3 by about 50 % and cumulative CH4 by about 80 %, but increased H2S emissions. Pre-acidification of biochar might be promising and needs further investigation. The same Sitka spruce biochar was amended with cow slurry to see the effect on nitrate leaching, nitrogen uptake to grass (Lolium perenne) and changes in nitrification and denitrification capabilities in soil by determining the abundances of bacterial and archaeal amoA and nosZ genes. Biochar alone had no significant effect on either of the investigated parameters; however, in combination with slurry biochar decreased the abundance of archaeal amoA at the slurry application zone and increased the abundance at lower soil depth. This might be attributed to adsorption of dissolved organic carbon to biochar, and an increase in ammonium leaching. The results of this study reveal that biochar affects soil-N dynamics differently when in combination with slurry than in its un-amended state