Zum Inhalt springen

  1. Kuci, Edlira [VerfasserIn] ; Mezini, Mira [AkademischeR BetreuerIn]; Ostermann, Klaus [AkademischeR BetreuerIn]; Erdweg, Sebastian [AkademischeR BetreuerIn]

    Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking

    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.

    Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020

  2. Aljalbout, Sahar [VerfasserIn]; Buchs, Didier [VerfasserIn]; Falquet, Gilles [VerfasserIn] ; Sahar Aljalbout and Didier Buchs and Gilles Falquet [MitwirkendeR]

    OWL^C: A Contextual Two-Dimensional Web Ontology Language

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  4. Frömer, Romy [VerfasserIn] ; Sommer, Werner [AkademischeR BetreuerIn]; Stürmer, Birgit [AkademischeR BetreuerIn]; Holroyd, Clay [AkademischeR BetreuerIn]

    Learning to throw : contributions of contextual interference and individual differences to the acquisition of a complex motor skill : an investigation with event-related brain potentials

    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.

    Berlin: Lebenswissenschaftliche Fakultät, 2016

  6. Kaiser, Jonas [VerfasserIn]; Pientka, Brigitte [VerfasserIn]; Smolka, Gert [VerfasserIn] ; Jonas Kaiser and Brigitte Pientka and Gert Smolka [MitwirkendeR]

    Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  7. Zarka, Raafat [VerfasserIn] ; Lyon, INSA [MitwirkendeR]; Egyed-Zsigmond, Elöd [MitwirkendeR]; Mille, Alain [MitwirkendeR]

    Trace-based reasoning for user assistance and recommendations ; Raisonnement à partir de l'expérience tracée pour l'assistance à l'utilisateur et les recommandations

    Hochschulschriften
    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.

    theses.fr, 2013-12-04

  8. Elliott, W. Brooke [VerfasserIn] ; Hobson, Jessen L. [Sonstige Person, Familie und Körperschaft]; Van Landuyt, Ben W. [Sonstige Person, Familie und Körperschaft]; White, Brian J. [Sonstige Person, Familie und Körperschaft]

    Asymmetric Motivated Reasoning in Investor Judgment : The Role of Conventional Contextual Preferences

    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.

    [S.l.]: SSRN, [2020]

  10. Ramoly, Nathan [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Bouzeghoub, Amel [MitwirkendeR]

    Contextual integration of heterogeneous data in an open and opportunistic smart environment : application to humanoid robots ; Intégration contextuelle de données hétérogènes dans un environnement ambiant ouvert et opportuniste : application aux robots humanoïdes

    Hochschulschriften
    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.

    theses.fr, 2018-07-02

  16. Benerecetti, M.; Bouquet, P.; Ghidini, C.

    Contextual reasoning distilled

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Informa UK Limited, 2000

    Erschienen in: Journal of Experimental & Theoretical Artificial Intelligence