Faculty profile
Yves Lesperance
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a York University directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $87,000
Using Abstraction in Reasoning about Autonomous Agents and Multiagent Systems
NSERC · 2022 · Principal investigator
- $168,000
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
NSERC · 2015 · Principal investigator
- $100,000
Designing rational agents that can work with others
NSERC · 2010 · Principal investigator
Using Abstraction in Reasoning about Autonomous Agents and Multiagent Systems
Principal investigators: Lesperance, Yves
Keywords: reasoning about action; autonomous agents and multi-agent systems; using abstraction in reasoning about agents; reasoning about multi-agent systems; logics of agency; multi-agent planning; explainable ai; verification and synthesis of agents and multi-agent systems; goal reasoning; non-deterministic planning
Specification, Verification, and Synthesis of Autonomous Adaptive Agents
Principal investigators: Lesperance, Yves
Designing rational agents that can work with others
Principal investigators: Lespérance, Yves
Logic-based agent programming II
Principal investigators: Lespérance, Yves
Logic-based agent programming
Principal investigators: Lespérance, Yves
Logical foundations for agent programming
Principal investigators: Lesperance, Yves
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.