Concepedia

Yves Lespérance

YL

37

Publications

2.7K

Citations

21

H-Index

1989

Active since

Affiliations

York University(Current)

University of Toronto

Sapienza University of Rome

Free University of Bozen-Bolzano

Yves Lespérance is an author at York University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSystems EngineeringEpistemologyCognitive ScienceFormal VerificationDecision TheorySocial Sciences

Publications per year

1989–2017

37

Publications

37

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

Applied Logic, Logic Programming Language, Engineering +7

ConGolog, a concurrent programming language based on the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque · Artificial Intelligence · 2000 · 494 citations

Declarative Programming, Engineering, Program Analysis +12

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

Al models for business process reengineering

Enhai Yu, John Mylopoulos, Yves Lespérance · IEEE Expert · 1996 · 85 citations

Engineering, Congolog Framework, Al Models +21

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

Rows per page

1–5 of 37