Travelled to:1 × Canada
1 × France
1 × Germany
1 × Italy
1 × Luxembourg
2 × USA
Collaborated with:G.D.Giacomo H.J.Levesque A.Lapouchnian S.Sardiña F.Patrizi A.R.Pearce M.d.Leoni M.Mecella S.Shapiro M.Pagnucco T.G.Kelley J.Mylopoulos E.S.K.Yu
Talks about:calculus (3) situat (3) theori (2) belief (2) state (2) model (2) golog (2) uncertainti (1) implement (1) structur (1)
Person: Yves Lespérance
DBLP: Lesp=eacute=rance:Yves
Contributed to:
20122010
2009
20062006200220001999Wrote 8 papers:
- KR-2012-GiacomoLP #bound #calculus #decidability #verification
- Bounded Situation Calculus Action Theories and Decidable Verification (GDG, YL, FP).
- KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
- Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
- SAC-2009-LeoniGLM #adaptation #mobile #online #process
- On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.
- CAiSE-2006-LapouchnianL #modelling #requirements
- Modeling Mental States in Agent-Oriented Requirements Engineering (AL, YL), pp. 480–494.
- KR-2006-SardinaGLL #nondeterminism #on the #strict
- On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
- KR-2002-GiacomoLLS #implementation #on the #semantics
- On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
- KR-2000-ShapiroPLL #calculus
- Iterated Belief Change in the Situation Calculus (SS, MP, YL, HJL), pp. 527–538.
- CAiSE-1999-LesperanceKMY #modelling
- Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.