BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lesp=eacute=rance:Yves

Contributed to:

KR 20122012
KR 20102010
SAC 20092009
CAiSE 20062006
KR 20062006
KR 20022002
KR 20002000
CAiSE 19991999

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.