Yves Lespérance

Available identifiers

zbMath Open lesperance.yvesMaRDI QIDQ286405

List of research outcomes

Publication	Date of Publication	Type
Indexical knowledge and robot action -- a logical account	2022-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4999287	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4576186	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5282994	2017-07-18	Paper
Progression and verification of situation calculus agents with bounded beliefs	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q5740443	2016-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q5740456	2016-07-26	Paper
Bounded situation calculus action theories	2016-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q3455568	2015-12-11	Paper
Iterated belief change in the situation calculus	2011-06-17	Paper
The Cognitive Agents Specification Language and Verification Environment	2010-11-11	Paper
Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report	2010-02-02	Paper
A New Logical Semantics for Agent Communication	2009-01-20	Paper
Goal Change in the Situation Calculus	2007-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4739286	2004-08-12	Paper
On the semantics of deliberation in IndiGolog -- from theory to implementation	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473081	2004-08-04	Paper
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2728925	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4934650	2001-03-11	Paper
Ability and knowing how in the situation calculus	2001-02-11	Paper
ConGolog, a concurrent programming language based on the situation calculus	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4252264	1999-09-23	Paper
GOLOG: A logic programming language for dynamic domains	1997-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3198884	1989-01-01	Paper

Research outcomes over time

This page was built for person: Yves Lespérance