Feature-length edition of the 1990s action adventure series following the exploits of the mythical barbarian warrior. 12,000 years ago, in a land of monsters and wizards, a warrior named Conan (Ralf Moeller) fights to free his homeland from the clutches of the bandit queen Karella.

This book constitutes the refereed proceedings of the 44th German Conference on Artificial Intelligence, KI 2021, held in September/October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 full and 4 short papers with one extended abstract were carefully reviewed and selected from 59 submissions. As well-established annual conference series KI is dedicated to research on theory and applications across all methods and topic areas of AI research.

Dieses Lehrbuch bietet eine Darstellung der Finanzierungs- und Organisationsstruktur des deutschen Sozialstaates mit einem Schwerpunkt im Bereich der Sozialversicherung. Es stellt die Organisationsformen sozialstaatlicher Verwaltungen in Grundzugen mit zahlreichen Beispielen auf Bundes-, Landes- sowie kommunaler Ebene vor. Dabei werden Gestaltungsmoeglichkeiten von Organisationsstrukturen und aktuelle Rechtsfragen eroertert. Ein weiterer Schwerpunkt ist die Finanzierung sozialstaatlicher Leistungen. Im Mittelpunkt stehen hier Abgrenzungsfragen zwischen der Steuer- und Beitragsfinanzierung des Sozialstaates. Neben relevanten verfassungsrechtlichen Grundlagen werden zeitlose Fragen der Freiheit dargestellt und zugleich Funktion und Struktur der Selbstverwaltung sichtbar gemacht. Zusatzlich werden rechtliche Rahmenbedingungen und politische Gestaltungsmoeglichkeiten diskutiert. Erganzt wird dieser Teil durch ein Kapitel uber die Durchsetzungsmoeglichkeiten von sozialstaatlichen Forderungen. Die zweite Auflage wurde hinsichtlich der wesentlichen AEnderungen und Weiterentwicklungen im Sozialrecht aktualisiert sowie um wichtige Aspekte der Rechtsprechung in den Themenfeldern Organisation und Finanzierung erweitert. Studierende, Praktiker und interessierte Laien erhalten eine eingehend strukturierte Einfuhrung in das gegliederte System des deutschen Sozialstaates, wobei die Umsetzung des rechtlich Machbaren im Mittelpunkt steht.

This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation.