Direkt zum Inhalt

Resolution

GEPRÜFTES WISSEN
Über 200 Experten aus Wissenschaft und Praxis.
Mehr als 25.000 Stichwörter kostenlos Online.
Das Original: Gabler Wirtschaftslexikon

zuletzt besuchte Definitionen...

    Ausführliche Definition

    logische Beweistechnik, die sich bes. gut für das computergestützte Beweisen von Theoremen eignet. Resolution bildet eine wesentliche Grundlage der Programmiersprache Prolog.

    zuletzt besuchte Definitionen...

      Mindmap Resolution Quelle: https://wirtschaftslexikon.gabler.de/definition/resolution-42178 node42178 Resolution node42635 Programmiersprache node42178->node42635 node43882 Prolog node42178->node43882 node30206 Computer node42635->node30206 node44649 RPG node44649->node42635 node40695 Information Center node40695->node42635 node40810 KI-Programmiersprachen node40810->node42635 node43882->node42635 node27106 Algorithmus node43882->node27106 node45466 Programmentwicklung node43882->node45466 node43166 Programm node43882->node43166
      Mindmap Resolution Quelle: https://wirtschaftslexikon.gabler.de/definition/resolution-42178 node42178 Resolution node42635 Programmiersprache node42178->node42635 node43882 Prolog node42178->node43882

      News SpringerProfessional.de

      • "Das Silicon Valley ist nicht über Nacht entstanden"

        Wenn es ein Digitalisierungs-Mekka gibt, in das deutsche Manager pilgern, ist es das Silicon Valley. Was Unternehmen von den US-Vorreitern lernen und ob sie die 180-Grad-Wende schaffen können, beantworten Sven Grote und Rüdiger Goyk im Gespräch.

      • Utility 4.0 – mehr als eine Worthülse?

        Vierpunktnull auf Teufel komm raus. Kein Themengebiet scheint heute ohne das Zahlenkürzel '4.0' auszukommen. Mit Utility 4.0 ist dieses Phänomen nun auch im Energiesektor angekommen. Zu Recht?

      • Das blaue Jobwunder der Digitalisierung

        Immer mehr Studien prognostizieren, dass die digitale Transformation insgesamt keine Arbeitsplätze kostet. Denn es entstehen auch jede Menge neue Jobs. Die erfordern jedoch andere Kompetenzen.

      • Starke Teams lassen Risiken zu

        "Werde eins mit deinem Projekt", proklamierte vor Jahren eine Baumarktkette. Ein kerniger Slogan, der seine Parallele in einer Google-Studie findet: Teammitglieder die risikobereit in ihrer Aufgabe aufgehen, arbeiten effektiver.

      • "Freibeträge in Abfindungsregelungen wieder einführen"

        Seit 1. Januar gilt die Institutsvergütungsverordnung (IVV). Mit ihr wurden in erster Linie die Anforderungen der Leitlinien der Europäischen Bankenaufsichtsbehörde EBA für eine solide Vergütungspolitik in deutsches Recht umgesetzt. Wie sich das auf die Personal- und Abfindungsstrategien bei den Banken auswirkt, erklärt Jurist Christoph Abeln im Interview.

      • So teuer wird der Fachkräftemangel

        Dass der Fachkräftemangel die deutsche Wirtschaft bremst, ist nicht neu. Allerdings war bislang nicht klar, wie sehr fehlendes Personal zu Buche schlägt. Einer Studie zufolge drohen bis zum Jahr 2030 wirtschaftliche Schäden in Milliardenhöhe. 

      • KMU zögern bei tiefgreifender Digitalisierung

        Der digitale Wandel wirkt sich auf die gesamte Wertschöpfungskette aus. Viele kleine und mittelständische Unternehmen haben das nicht vollends erkannt, weshalb sie sich auf die Optimierung einzelner interner Prozesse versteifen.

      Autoren der Definition und Ihre Literaturhinweise/ Weblinks

      Prof. Dr. Richard Lackes
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Universitätsprofessor
      Dr. Markus Siepermann
      Technische Universität Dortmund,
      LS für Wirtschaftsinformatik
      Wissenschaftlicher Mitarbeiter

      Literaturhinweise SpringerProfessional.de

      Springer Professional - Die Flatrate für Fachzeitschriften und Bücher
      In this chapter we recall some basic general facts about the proof complexity of resolution [Bla37, Rob65]. This will be a common background for the results in Chap. 3 and Chap. 8. First we describe the most common restrictions placed on the type …
      This paper evaluates the impact that different clustering techniques may have on grouping referential mentions on rule-based coreference resolution systems. As a result, we show that our approach outperforms commonly applied methods.
      The enumerations of legislative powers purport to be exhaustive, that is, to cover all conceivable legislative matters, or at least those conceived of at the time when the enumerations were first enacted. Over the course of time, new matters have …

      Sachgebiete