Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lespérance, Yves
53  Ergebnisse:
Personensuche X
?
1

Towards bridging the gap between high-level reasoning and e.. 

Aachen, RWTH Aachen University, 2023
Hofmann, Till , 2023
Link: https://nbn-resolving.de..
 
?
2

Exploiting Reward Machines with Deep Reinforcement Learning..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Sun, Haolin ; Lespérance, Yves - p. 83-99 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Knowing Why — On the Dynamics of Knowledge about Actual Cau..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Khan, Shakil M. ; Lespérance, Yves - p. 701-709 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Goal Formation through Interaction in the Situation Calculu..:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,
De Giacomo, Giuseppe ; Lespérance, Yves - p. 294-302 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Engineering Multi-Agent Systems: 7th International Workshop.. 

Lecture Notes in Artificial Intelligence, 12058
Dennis, Louise A ; Bordini, Rafael H ; Lespérance, Yves - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
6

Hierarchical Agent Supervision:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,
Banihashemi, Bita ; De Giacomo, Giuseppe ; Lesperance, Yves - p. 1432-1440 , 2018
Link: https://dl.acm.org/doi/1..
 
?
7

A planning approach to the automated synthesis of template-..:

Marrella, Andrea ; Lespérance, Yves
Service Oriented Computing and Applications.  11 (2017)  4 - p. 367-392 , 2017
Link: https://doi.org/10.1007/..
 
?
8

Bounded situation calculus action theories:

De Giacomo, Giuseppe ; Lespérance, Yves ; Patrizi, Fabio
Artificial Intelligence.  237 (2016)  - p. 172-203 , 2016
Link: https://doi.org/10.1016/..
 
?
9

Progression and Verification of Situation Calculus Agents w..:

De Giacomo, Giuseppe ; Lespérance, Yves ; Patrizi, Fabio.
Studia Logica: An International Journal for Symbolic Logic.  104 (2016)  4 - p. 705-739 , 2016
Link: http://www.jstor.org/sta..
 
?
10

Progression and Verification of Situation Calculus Agents w..:

De Giacomo, Giuseppe ; Lespérance, Yves ; Patrizi, Fabio.
Studia Logica.  104 (2015)  4 - p. 705-739 , 2015
Link: https://doi.org/10.1007/..
 
?
11

Synchronous Games in the Situation Calculus:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,
De Giacomo, Giuseppe ; Lesperance, Yves ; Pearce, Adrian R. - p. 1675-1676 , 2015
Link: https://dl.acm.org/doi/1..
 
?
12

Progression and verification of situation calculus agents w..:

, In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems,
De Giacomo, Giuseppe ; Lespérance, Yves ; Patrizi, Fabio. - p. 141-148 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

On supervising agents in situation-determined ConGolog:

, In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2,
De Giacomo, Giuseppe ; Lespérance, Yves ; Muise, Christian - p. 1031-1038 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Iterated belief change in the situation calculus:

Shapiro, Steven ; Pagnucco, Maurice ; Lespérance, Yves.
Artificial Intelligence.  175 (2011)  1 - p. 165-192 , 2011
Link: https://doi.org/10.1016/..
 
?
15

SR-APL : a model for a programming language for rational..:

, In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3,
Khan, Shakil M. ; Lespérance, Yves - p. 1251-1252 , 2011
Link: https://dl.acm.org/doi/1..
 
1-15