Concepedia
Statistics
Publications
37
Citations
2.8K
H-Index
21
Active since
1989
Affiliations
York University(Current)
University of Toronto
Sapienza University of Rome
Free University of Bozen-Bolzano
UNSW Sydney
Yves Lespérance is an author at York University specializing in computer science, computing, and situation calculus.
Publications per year
1989–2017
GOLOG: A logic programming language for dynamic domains
Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations
Computing, Computer Science, Knowledge Representation +5
ConGolog, a concurrent programming language based on the situation calculus
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque · Artificial Intelligence · 2000 · 496 citations
Computing, Computer Science, Formal Methods +7
On the Semantics of Deliberation in IndiGolog — from Theory to Implementation
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance et al. · Annals of Mathematics and Artificial Intelligence · 2004 · 88 citations
Language Studies, Computer Science, Knowledge Representation +9
Al models for business process reengineering
Enhai Yu, John Mylopoulos, Yves Lespérance · IEEE Expert · 1996 · 86 citations
Business, Information Systems, Management Information Systems +12
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque · 1997 · 81 citations
Computing, Autonomous Systems, Computer Science +12
1–5 of 37