Zum Inhalt springen

  3. Levesque, Hector J. [VerfasserIn]; Lakemeyer, Gerhard [VerfasserIn]

    The logic of knowledge bases

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 2000

  4. Lakemeyer, Gerhard [HerausgeberIn]; Sklar, Elizabeth [Sonstige Person, Familie und Körperschaft]; Sorrenti, Domenico G. [Sonstige Person, Familie und Körperschaft]; Takahashi, Tomoichi [Sonstige Person, Familie und Körperschaft] ; RoboCup 10 2006 Bremen

    RoboCup 2006: Robot soccer world cup X

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4434

  6. Lakemeyer, Gerhard [Sonstige Person, Familie und Körperschaft]

    Foundations of knowledge representation and reasoning

    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 [u.a.]: Springer, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 81000

  8. Lakemeyer, Gerhard [VerfasserIn] ; Nebel, Bernhard [Sonstige Person, Familie und Körperschaft]

    Foundations of Knowledge Representation and Reasoning

    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, Heidelberg: Springer Berlin Heidelberg, 1994

    Erschienen in: Lecture notes in computer science ; 810

  9. Liu, Daxin [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Belle, Vaishak [AkademischeR BetreuerIn]

    Projection in a probabilistic epistemic logic and its application to belief-based program verification

    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: Universitätsbibliothek der RWTH Aachen, 2023

  10. Hofmann, Till [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Lespérance, Yves [AkademischeR BetreuerIn]

    Towards bridging the gap between high-level reasoning and execution on robots

    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: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen : RWTH Aachen University, 2023

  11. Weidel, Philipp [VerfasserIn] ; Morrison, Abigail [AkademischeR BetreuerIn]; Lakemeyer, Gerhard [AkademischeR BetreuerIn]

    Learning and decision making in closed loop simulations of plastic spiking neural networks

    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: Universitätsbibliothek der RWTH Aachen, 2020

  12. Goeckel, Tom [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Wagner, Hermann [AkademischeR BetreuerIn]

    Efficient Binaural Sound Localization in Noisy and Reverberant Environments

    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: Universitätsbibliothek der RWTH Aachen, 2015

  13. Schiffer, Stefan [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Bennewitz, Maren [AkademischeR BetreuerIn]

    Integrating Qualitative Reasoning and Human-Robot Interaction for Domestic Service Robots

    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: Universitätsbibliothek der RWTH Aachen, 2015

  14. Liu, Daxin [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Belle, Vaishak [AkademischeR BetreuerIn]

    Projection in a probabilistic epistemic logic and its application to belief-based program verification

    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: Universitätsbibliothek der RWTH Aachen, 2023

  15. Hofmann, Till [VerfasserIn] ; Lakemeyer, Gerhard [AkademischeR BetreuerIn]; Lespérance, Yves [AkademischeR BetreuerIn]

    Towards bridging the gap between high-level reasoning and execution on robots

    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: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen ; RWTH Aachen University, 2023

  16. Weidel, Philipp [VerfasserIn] ; Morrison, Abigail [AkademischeR BetreuerIn]; Lakemeyer, Gerhard [AkademischeR BetreuerIn]

    Learning and decision making in closed loop simulations of plastic spiking neural networks

    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: Universitätsbibliothek der RWTH Aachen, 2020

  17. Jarke, Matthias [VerfasserIn] ; Koehler, Jana [Sonstige Person, Familie und Körperschaft]; Lakemeyer, Gerhard [Sonstige Person, Familie und Körperschaft]

    KI 2002: Advances in Artificial Intelligence : 25th Annual German Conference on AI, KI 2002 Aachen, Germany, September 16–20, 2002 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.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2479

  19. Hofmann, Till [VerfasserIn]; Lakemeyer, Gerhard [VerfasserIn]

    Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints

    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: Universitätsbibliothek der RWTH Aachen, 2021