This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page IX). It was collocated with FTP 2009, the Workshop on First-Order Theorem Proving. The Program Committee of TABLEAUX 2009 received 44 submissions from 24 countries. Each paper was reviewed by at least three referees, after which the reviews were sent to the authors for comment in a rebuttal phase. After a ?nal intensive discussion on the borderline papers during the online meeting of the Program Committee, 21 research papers and 1 system description were accepted based on originality, technical soundness, presentation, and relevance. Additionally, three positionpaperswereaccepted, whicharepublished asate- nical report of the University of Oslo. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members and other referees for their great e?ort and p- fessional work in the review and selection process. Their names are listed on the following page

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and selected from 30 submissions. *The conference was held virtually due to the COVID-19 pandemic.

Dokument aus dem Jahr 2013 im Fachbereich Soziologie - Politische Soziologie, Majoritaten, Minoritaten, Note: -, -, Sprache: Deutsch, Abstract: Territoriale Kriege gehoren fast schon der Vergangenheit an, aber seit dem 11. September 2001 sieht sich die Welt mit einer neuen Form des Krieges konfrontiert, dem internationalen Terrorismus. So sieht sich auch die Bundeswehr vor neue Herausforderungen gestellt. Doch wie muss sie aussehen, die Bundeswehr des 21. Jahrhunderts? Welche Umstrukturierungen sind tatsachlich notwendig, um sich dem erweiterten Aufgabenfeld stellen zu konnen? Dieses Buch spurt den Antworten auf diese Fragen nach. Aus dem Inhalt: Transformation der Bundeswehr, Wandel zur Interventionsarmee, Neudefinierung durch die Nato, okonomische Modernisierung, mogliche Privatisierung.

Studienarbeit aus dem Jahr 2007 im Fachbereich Politik - Internationale Politik - Thema: Deutsche Aussenpolitik, Note: 2,0, Universitat Potsdam (Wirtschafts- und Sozialwissenschaftliche Fakultat), Veranstaltung: Seminar: Die Bundeswehr als Instrument deutscher Aussenpolitik, Sprache: Deutsch, Abstract: Die Transformation der Bundeswehr zu einer Armee im Einsatz erfordert erhebliche Anpassungen und Modernisierungen. Das Spannungsverhaltnis zwischen verteidigungspolitischen Erfordernissen und finanziellem Bedarf fur andere staatliche Aufgaben wird auch in Zukunft fortbestehen. Sicherheits- und Verteidigungspolitik konnen nicht unabhangig von der allgemeinen Haushaltsentwicklung gestaltet werden. Das zentrale finanzpolitische Ziel der Bundesregierung, die Fortsetzung der Konsolidierung des Bundeshaushaltes, gibt daher auch fur die Planungen der Bundeswehr einen verbindlichen Rahmen vor." (BMVg 2006; S.78) Diese Aussage aus dem Weissbuch 2006 des Bundesministeriums der Verteidigung (BMVg) beschreibt bereits zentrale Fragestellungen bei der Umgestaltung der Bundeswehr. Wie konnen angesichts eines in eine allgemeine Politik der Haushaltskonsolidierung eingebundenen und daher weitgehend gleichbleibenden Verteidigungshaushaltes, die Mittel bereitgestellt werden, die fur die Transformation der Bundeswehr zu einer Einsatzarmee und die damit erweiterten Aufgaben benotigt werden? Als Antwort darauf gilt die okonomische Modernisierung der Bundeswehr. Der Prozess der okonomischen Modernisierung soll in dieser Hausarbeit untersucht werden. Dazu sollen zunachst die zentralen Begriffe der okonomischen Modernisierung im Allgemeinen, sowie der der Transformation bestimmt werden. Im Folgenden werden dann die Grunde fur den Beginn der okonomischen Modernisierung in der Bundeswehr im Speziellen untersucht. Weiterhin erfolgt eine Darstellung der verschiedenen Elemente. Besonderes Augenmerk soll dabei auf dem Konzept der Kosten- und Leistungsverantwortung (KLV) und der Gesellschaft fur E

Studienarbeit aus dem Jahr 2007 im Fachbereich Politik - Internationale Politik - Thema: Europaische Union, Note: 1,7, Universitat Potsdam (Wirtschafts- und Sozialwissenschaftliche Fakultat), Veranstaltung: Seminar: Die Werte Europas oder: Was heisst europaisch"?, Sprache: Deutsch, Abstract: Seit dem Beginn der europaischen Einigung mit der Unterzeichnung des Vertrages uber die Grundung der Europaischen Gemeinschaft fur Kohle und Stahl am 18. April 1951 ist die europaische Integration erheblich fortgeschritten. Zum einen haben sich die nachfolgend gegrundete EG und spater die EU geographisch immer wieder erweitert. Ihren vorlaufigen Abschluss fand dies mit der Erweiterung um Rumanien und Bulgarien im Januar 2007, mit der die EU nun 27 Mitgliedstaaten umfasst. Auf der anderen Seite haben sich auch die Handlungefelder der EU erheblich erweitert. Die EU ist nicht mehr lediglich ein wirtschaftlich-administrativer Zusammenschluss. Seit nunmehr gut zehn Jahren findet die Einschatzung zunehmenden Zuspruch, dass die institutionalisierte Europaische Integration den Bereich des rein Wirtschaftlichen und Administrativen verlassen habe und sich nun mit Betatigungsfeldern befasse, denen ein genuin politischer Charakter beigemessen wird, so z.B. Einwanderungs- und Aussenpolitik." (Balli 2005; S. 164) Die EU nimmt mit ihren Regelungen inzwischen direkten Einfluss auf das Leben der Menschen. Gleichzeitig wird aber auch ein deutliches Defizit an Mitbestimmung und Einflussmoglichkeiten diagnostiziert. Die EU leide an einem Demokratiedefizit, einem Mangel an Burgernahe und Legitimitat, so das haufig geausserte Urteil, aufgrund dessen man von einer Identitatskrise" sprechen konne. (vgl. Balli 2005; S. 164) Auf die Notwendigkeit einer Identifikation mit Europa weist etwa auch Bergem hin: Um die tragfahige Legitimation einer supranationalen Herrschaftsordnung einer sich nach aussen erweiternden und nach innen weiter integrierenden Union begrunden zu konnen, bedarf die Unterstutzung d

Studienarbeit aus dem Jahr 2007 im Fachbereich Politik - Internationale Politik - Thema: Globalisierung, pol. Okonomie, Note: 2,0, Universitat Potsdam, Veranstaltung: Seminar Globalisierte Zivilgesellschaft vor dem Hintergrund von Transparency International," 22 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Seit seiner Grundung im Jahre 1998 hat Attac eine rasante Entwicklung genommen. Mitgliederzahlen und die Anzahl der nationalen Attac-Gruppen stiegen schnell an. Wann immer es um die Globalisierung und ihre Kritiker geht, ist der Name Attac prasent. Attac wurde deshalb beispielsweise von der Suddeutschen Zeitung als einer der erfolgreichsten politischen Vereine der Gegenwart" bezeichnet (vgl. Eskola/Kolb 2002). Der Stern" wiederum erkor Attac zur Bewegung des Jahres 2001" (vgl. Eskola/Kolb 2002). Oder, um Albrecht von Lucke zu zitieren: Auf dem Markt der alternativen Organisationen ist Attac derzeit wohl die Marke fur Globalisierungskritik'." (von Lucke 2002; S. 24) Attac ist innerhalb kurzer Zeit zu einem zentralen Bestandteil der globalen sozialen Bewegung geworden, die hier als globalisierungskritische Bewegung" und nicht als Anti-Globalisierungsbewegung" bezeichnet werden soll. Die Titulierung als Anti-Globalisierungsbewegung" ist unangebracht da: The vast majority of activists are pro-globalisation, indeed products of it." (Harding 2004; S. 419) Der Organisationstypus von Attac ist nicht eindeutig zu bezeichnen. Attac lasst sich nicht einfach in die Kategorien: Netzwerk, NGO, Bewegung oder Verbandsinternationale einordnen, was bei Attac auch so wahrgenommen wird (vgl. Attac.de 2006). Als Antwort darauf begnugt man sich mit einem einfachen Attac ist Attac" (Attac.de 2006).Eine endgultige Einordnung der Organisation soll auch in dieser Arbeit nicht erfolgen. Die Arbeit will ebenfalls keine Bewertung der politischen Rolle und Ziele Attacs abgeben, sondern lediglich der Darstellung einer neuartigen Organisation dienen. Wie Attac es nun

Studienarbeit aus dem Jahr 2007 im Fachbereich Politik - Internationale Politik - Thema: Europaische Union, Note: 2,0, Universitat Potsdam (Wirtschafts- und Sozialwissenschaftliche Fakultat), Veranstaltung: Seminar: Europa in der Krise - welche Krise?," Sprache: Deutsch, Abstract: Mit der Aufnahme von Rumanien und Bulgarien im Januar 2007 ist die nun schon sechste Erweiterung der Europaischen Union (EU) abgeschlossen. Nach den Erweiterungen nach Norden (Danemark, Irland und das Vereinigte Konigreich 1973), nach Suden (Griechenland 1981 und Spanien und Portugal 1986), sowie der Aufnahme Osterreichs, Schwedens und Finnlands 1995 ist die EU durch die Aufnahme Estlands, Lettlands, Litauens, Polens, Tschechiens, Sloweniens, der Slowakei und Ungarns sowie Maltas und Zyperns 2004 und zuletzt Rumaniens und Bulgariens auf nunmehr 27 Mitglieder angewachsen. Doch damit scheint die Erweiterung der EU noch kein Ende gefunden zu haben. Mit Kroatien laufen seit Marz 2005 Beitrittsverhandlungen, mit einem Beitritt wird 2009 oder 2010 gerechnet. Begleitet von heftigen offentlichen Diskussionen laufen seit Oktober 2005 Beitrittsverhandlungen mit der Turkei. Zahlreiche weitere Staaten haben ihr Interesse an einer Mitgliedschaft bereits angemeldet. Hier seien vor allem die aus dem ehemaligen Jugoslawien hervorgegangen Staaten wie etwa Mazedonien und Albanien erwahnt. Zudem gibt es Uberlegungen, die auf eine Mitgliedschaft der Maghreb-Staaten Tunesien und Marokko hinzielen, auch die Ukraine und Weissrussland konnten langfristig gesehen Mitglieder der EU werden. Zahlreiche weitere Staaten haben ein Interesse an einer EU-Mitgliedschaft bekundet. Wie soll nun aber eine solchermassen vergrosserte EU handlungsfahig bleiben? Wie soll die Integration mit so vielen Mitgliedern geschehen? Die Ratifizierung des unter anderem als Antwort darauf gedachte EU-Verfassungsvertrags ist nach den negativen Referenden in Frankreich und den Niederlanden 2005 wenn nicht gescheitert, so doch zumindest ins S

Studienarbeit aus dem Jahr 2008 im Fachbereich Politik - Internationale Politik - Klima- und Umweltpolitik, Note: 1,3, Universitat Potsdam (Wirtschafts- und Sozialwissenschaftliche Fakultat), Veranstaltung: Seminar: Klimaschutz-Wahrnehmung eines weltweiten Problems sowie internationale, nationale und lokale Ansatze zur Problembewaltigung, Sprache: Deutsch, Abstract: Klimaschutz steht nicht erst seit dem vierten Sachstandsbericht des Intergovernmental Panel on Climate Change (IPCC), in dem die Dringlichkeit eines wirksamen Klimaschutzes wissenschaftlich bestatigt wurde (vgl. IPCC 2007), auf der politischen Tagesordnung. Bereits zuvor wurde in zahlreichen internationalen und supranationalen Vereinbarungen sowie nationalen klimapolitischen Strategien auf die Notwendigkeit des Klimaschutzes hingewiesen. Als bekanntestes Beispiel hierfur durfte das Kyoto-Protokoll aus dem Jahr 1997 gelten. In diesem verpflichten sich die Unterzeichnerstaaten die Emissionen bestimmter Treibhausgase im Zeitraum von 2008 bis 2012 um mindestes 5% unter das Niveau von 1990 zu senken (vgl. BMU 2008). Als weithin anerkanntes Ziel gilt die Begrenzung des globalen Temperaturanstiegs auf 2 C gegenuber der vorindustriellen Zeit (vgl. SRU 2007). National sind die Zielsetzungen unterschiedlich und gehen teilweise weit uber die im Kyoto-Protokoll festgelegten Werte hinaus. Auch die Strategien zur Erreichung der Reduktion der Treibhausgasemissionen sind unterschiedlich. Neben der Steigerung der Energieeffizienz spielt auch eine Substitution fossiler Energietrager durch erneuerbare Energieformen eine grosse Rolle. Entscheidende Bedeutung kommt dabei der Biomasse, sowohl bei der Erzeugung von Strom und Warme, als auch als Kraftstoff, zu. Der Einsatz von Biomasse ist jedoch nicht unumstritten. So meldete jungst etwa Entwicklungsministerin Heidemarie Wieczorek-Zeul bedenken hinsichtlich des Einsatzes von Biokraftstoffen an (vgl. Der Tagesspiegel 2008). Inwieweit Biomasse nun einen Beitrag zum Klimaschutz