Wissenschaftliche LiteraturLogik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Martina Dürndorfer
Freisetzung und Neuplazierung von Führungskräften
Eine Analyse der Identitätslogik von Outplacement-Beratungen aus theoretischer und empirischer Perspektive
Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis
Fundamentale Veränderungen prägen unsere gesellschaftliche und wirtschaftliche Realität. Mit Stichworten wie Globalisierung, Deregulierung oder Flexibilisierung werden die Symptome dieser Transformationsprozesse erfasst. Freisetzungen oder Kündigungen stellen häufig die ultima ratio ökonomischer Verschlankungs- und…
ArbeitslosigkeitBetriebswirtschaftslehreFührungskräfteIdentitätManagerMayrhoferMeadOutplacementPersonalabbauKlaus Spies
Transformationsbasierte temporallogische Programmierung
Forschungsergebnisse der Programmentwicklung
IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationOliver Topp
Ein fuzzy-basiertes Modell multiattributiver Entscheidungen
Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis
Seit jeher nehmen Entscheidungsprobleme im Rahmen der Wirtschaftswissenschaften eine zentrale Position ein.
Zwecks Lösung speziell multidimensionaler Entscheidungsprobleme wurde die multikriterielle Entscheidungstheorie (MCDM) entwickelt, im Rahmen derer wiederum zwischen multiattributiven (MADM) sowie…
Bestimmung von ZugehörigkeitswertenBetriebswirtschaftslehreFuzzy-LogikMultiattributive EntscheidungstheoriePräferenzaggregationSocial Choice TheorieJörn Mordau
Die Integration formaler Methoden zur Spezifikation von Informationssystemen
Studien zur Datenbankforschung
Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikationBernhard Lauth
Lernmodelle und induktive Methoden
BOETHIANA – Forschungsergebnisse zur Philosophie
Das Induktionsproblem gehört zu den zentralen Themen der Wissenschaftsphilosophie und Erkenntnistheorie. In seiner klassischen Version bei David Hume ging es um die Extrapolation von vergangenen Beobachtungen (Messungen, Experimenten) auf zukünftige Ereignisse und damit um die Legitimation von wissenschaftlichen…
GeschichtswissenschaftHabilitationInduktionsproblemInduktive LogikL-StrukturLernende AutomatenLernmodelleLerntheorieLimes-BestätigungWissenschaftsphilosophieWissenschaftstheorieShirin Bakthari
Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien
Forschungsergebnisse zur Informatik
Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, nicht–klassische…
AIArtificial IntelligenceInformatikInkonsistente TheorienInkonsistenzKIKI-ParadigmaKünstliche IntelligenzNicht-klassische LogikParakonsistente LogikProblemlösungsverfahrenVerarbeitungMichael Hartmann
Problemlöseprozesse in Kleingruppen
Eine experimentelle Untersuchung zur individuellen und kollektiven Induktion
Studienreihe psychologische Forschungsergebnisse
In vielen gesellschaftlichen Bereichen gilt die Arbeitsgruppe als ein wichtiger Bestandteil der Entscheidungsfindung (z.B. politische Gremien, betriebsinterne Arbeitsgruppen, das amerikanische Geschworenensystem etc.). Dabei werden Gruppen häufig implizit für produktiver als Einzelpersonen gehalten. Dies trifft…
EntscheidungsprozessGruppeHypothesentestInduktionLogikProblemlösungProzessanalysePsychologieUrteilsbildungHubert Fischer
Einführung in die Philosophie
Grundlegende Begriffe und Vorstellungen im Rahmen einer essentiellen Philosophie
BOETHIANA – Forschungsergebnisse zur Philosophie
Diese Einführung in die Philosophie gibt einen Überblick über die Hauptgebiete philosophischen Denkens sowie ihren Umfang und die gebotenen Abgrenzungen. Besonderer Wert wird dabei auf verständliche Erläuterungen und Darstellung der grundlegenden Bezeichnungen gelegt. Präzise Formulierungen erleichtern das…
Abendländische PhilosophieErkenntnislehreEthikGeschichtswissenschaftKosmogonieKosmologieLogikMetaphysikOntologiePhilosophieSeinOscar Slotosch
Analogieschlüsse beim automatischen Beweisen
Forschungsergebnisse zur Informatik
Was macht den Menschen intelligenter als die Maschine?
Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…
ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogik