Zum Inhalt springen

  1. Hinkelmann, Knut [Herausgeber:in] ; WM Institut für Wirtschaftsinformatik, Basel 5 2009 Solothurn

    Fifth Conference Professional Knowledge Management : [WM2009]; experiences and visions; March 25 - 27, 2009 in Solothurn, Switzerland

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bonn: Ges. für Informatik, 2009 ; Online-Ausg.

    Erschienen in: Gesellschaft für Informatik: GI-Edition ; 145

  2. Hinkelmann, Knut [Verfasser:in]

    A consequence-finding approach for feature recognition in CAPP

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

    Erschienen in: Research Report ; 1994,11

  4. Hinkelmann, Knut [Verfasser:in]

    Bidirectional reasoning of horn clause programs : transformation and compilation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Technical memo ; 1991,2

  5. Hinkelmann, Knut [Verfasser:in]

    Forward logic evaluation : developing a compiler from a partially evaluated meta interpreter

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Technical memo ; 1991,13

  8. Martin, Andreas [Herausgeber:in]; Hinkelmann, Knut [Herausgeber:in] ; Combining Machine Learning and Knowledge Engineering in Practice Veranstaltung 2020 Arlington, Va, Association for the Advancement of Artificial Intelligence

    Spring Symposium : proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice (AAAI-MAKE 2020) : Stanford University, Palo Alto, California, USA, March 23-25, 2020

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Aachen, Germany]: [RWTH Aachen], 2020-05-05

    Erschienen in: AAAI-MAKE 2020: Combining Machine Learning and Knowledge Engineering in Practice ; 1 - CEUR workshop proceedings ; 2600

  9. Hinkelmann, Knut [Herausgeber:in]; Thönssen, Barbara [Herausgeber:in] ; International Conference on Enterprise Systems 3. 2015 Basel, Fachhochschule Nordwestschweiz, Institute of Electrical and Electronics Engineers

    2015 Third International Conference on Enterprise Systems - ES 2015 : 14-15 October 2015, Basel, Switzerland : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2015

  10. Martin, Andreas [Verfasser:in]; Hinkelmann, Knut [Verfasser:in]

    AAAI-MAKE 2022: Machine Learning and Knowledge Engineering for Hybrid Intelligence

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: AAAI Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (2022 : Stanford, Calif.; Online): AAAI-MAKE 2022: Machine Learning and Knowledge Engineering for Hybrid Intelligence 2022 ; 2022

  11. Harm, Martin [Verfasser:in]; Hinkelmann, Knut [Verfasser:in] ; Labisch, Thomas [Sonstige Person, Familie und Körperschaft]

    Integrating bottom-up and top-down reasoning in COLAB

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

    Erschienen in: Document ; 1992,27

  12. Hanschke, Philipp [Verfasser:in]; Hinkelmann, Knut [Verfasser:in]

    Combining terminological and rule-based reasoning for abstraction processes

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Research Report ; 1992,40

  13. Hinkelmann, Knut [Verfasser:in]; Hintze, Helge [Verfasser:in]

    Computing cost estimates for proof strategies

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Research Report ; 1994,10

  16. Abecker, Andreas [Verfasser:in]; Bruns, Julian [Verfasser:in]; Kutterer, Johannes [Verfasser:in]; Ullrich, Peter [Verfasser:in] ; Disy Informationssysteme GmbH Karlsruhe

    Optimierte Stickstoffdüngung durch mehrparametrische Datenfusion und präzise Applikation in Echtzeit (FuzzyFarmer) - Teilprojekt 4 : Schlussbericht : Laufzeit des Vorhabens: 01.09.2018-31.10.2021

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Disy Informationssysteme GmbH, [2022?]

  17. Hahne, Lucia [Verfasser:in]; Abecker, Andreas [Verfasser:in]; Bruns, Julia [Verfasser:in]; Riepl, David [Verfasser:in]; Vogt, Gunter [Verfasser:in]; Wössner, Roman [Verfasser:in] ; Disy Informationssysteme GmbH Karlsruhe

    GROW - Verbundprojekt iWaGSS: Entwicklung und Erprobung eines innovativen Wassergovernancesystems zur Linderung von Wasserstress und zur vorausschauenden Wasserbewirtschaftung in Regionen mit überbeanspruchten Wasserressourcen in Afrika und weltweit, Teilprojekt 6: Integratives Datenmanagement und intuitive Visualisierungen zur Entscheidungsunterstützung in der Water Governance : Schlussbericht : Laufzeit des Vorhabens: 01.05.2017-30.06.2021 = GROW joint project iWaGSS: "Development and test of an innovative water governance system for mitigation of water stress and provident water management in regions with overstrained water resources in Africa and worldwide"; sub-project 6: Integrative data management and intuitive visualizations for decision support in water governance - [Version 1.0]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Disy Informationssysteme GmbH, 31.08.2021

  18. Mehli, Carlo [Verfasser:in]; Hinkelmann, Knut [Verfasser:in]; Jüngling, Stephan [Verfasser:in]

    Decision Support combining Machine Learning, Knowledge Representation and Case-Based Reasoning

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: Combining Machine Learning and Knowledge Engineering (Veranstaltung : 2021 : Online): AAAI-MAKE 2021: Combining Machine Learning and Knowledge Engineering ; 2021