Zum Inhalt springen

  1. Castelfranchi, Cristiano [VerfasserIn] ; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]

    Intelligent Agents VII Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 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, 2001

    Erschienen in: Lecture notes in computer science ; 1986

  2. Jennings, Nick [VerfasserIn] ; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]

    Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 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 Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1757

  3. Jennings, Nicholas R. [VerfasserIn] ; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]

    Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. 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, 2000

    Erschienen in: Lecture notes in computer science ; 175700

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

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

  6. Dennis, Louise A. [HerausgeberIn]; Bordini, Rafael H. [HerausgeberIn]; Lespérance, Yves [HerausgeberIn]

    Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers - [1st ed. 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.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 12058- Springer eBook Collection

  7. Santoso, Ario [VerfasserIn] ; Calvanese, Diego [AkademischeR BetreuerIn]; Montali, Marco [AkademischeR BetreuerIn]; Baader, Franz [AkademischeR BetreuerIn]; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]

    Verification of Data-aware Business Processes in the Presence of Ontologies

    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.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2016

  8. Bordini, Rafael H. [VerfasserIn]; Mascardi, Viviana [VerfasserIn]; Costantini, Stefania [VerfasserIn]; Seghrouchni, Amal El Fallah [VerfasserIn]; Lespérance, Yves [VerfasserIn]; Ricci, Alessandro [VerfasserIn]

    Transcultural Health-Aware Guides for the Elderly

    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.

    2020

    Erschienen in: Workshop "From Objects to Agents" (21. : 2020 : Online): WOA 2020: 21st Workshop "From Objects to Agents" ; (2020), Seite 135–146

  13. Kmiec, Slawomir; Lespérance, Yves

    Engineering Multi-Agent Systems: Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation

    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.

    Springer International Publishing, 2014

    Erschienen in: Engineering Multi-Agent Systems

  15. Lapouchnian, Alexei; Lespérance, Yves

    Conceptual Modeling: Foundations and Applications: Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models

    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.

    Springer Berlin Heidelberg, 2009

    Erschienen in: Conceptual Modeling: Foundations and Applications

  18. Khan, Shakil M.; Lespérance, Yves

    Declarative Agent Languages and Technologies VII: Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

    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.

    Springer Berlin Heidelberg, 2010

    Erschienen in: Declarative Agent Languages and Technologies VII