팔로우
Yves Lesperance
Yves Lesperance
Professor, Dept. of Electrical Engineering and Computer Science, York University
eecs.yorku.ca의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
GOLOG: A logic programming language for dynamic domains
HJ Levesque, R Reiter, Y Lespérance, F Lin, RB Scherl
The Journal of Logic Programming 31 (1-3), 59-83, 1997
15401997
ConGolog, a concurrent programming language based on the situation calculus
G De Giacomo, Y Lespérance, HJ Levesque
Artificial Intelligence 121 (1-2), 109-169, 2000
7912000
Foundations of a logical approach to agent programming
Y Lespérance, HJ Levesque, F Lin, D Marcu, R Reiter, RB Scherl
Intelligent Agents II Agent Theories, Architectures, and Languages: IJCAI'95 …, 1996
1901996
Iterated belief change in the situation calculus
S Shapiro, M Pagnucco, Y Lespérance, HJ Levesque
Artificial Intelligence 175 (1), 165-192, 2011
1852011
A logical approach to high-level robot programming–a progress report
Y Lespérance, HJ Levesque, F Lin, D Marcu, R Reiter, RB Scherl
Control of the Physical World by Intelligent Systems, Papers from the 1994 …, 1994
1431994
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
G De Giacomo, Y Lespérance, HJ Levesque
IJCAI 97, 1221-1226, 1997
1311997
IndiGolog: A high-level programming language for embedded reasoning agents
G De Giacomo, Y Lespérance, HJ Levesque, S Sardina
Multi-Agent Programming: Languages, Tools and Applications, 31-72, 2009
1272009
Al models for business process reengineering
ESK Yu, J Mylopoulos, Y Lespérance
IEEE expert 11 (4), 16-23, 1996
1271996
The cognitive agents specification language and verification environment for multiagent systems
S Shapiro, Y Lespérance, HJ Levesque
Proceedings of the first international joint conference on Autonomous agents …, 2002
1212002
Ability and knowing how in the situation calculus
Y Lespérance, HJ Levesque, F Lin, RB Scherl
Studia Logica 66, 165-186, 2000
1032000
On the semantics of deliberation in IndiGolog—from theory to implementation
S Sardina, G De Giacomo, Y Lespérance, HJ Levesque
Annals of Mathematics and Artificial Intelligence 41, 259-299, 2004
992004
Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning.
E Martínez, Y Lespérance
AAAI Fall Symposium: Agents and the Semantic Web, 38-46, 2005
822005
Agent-oriented requirements engineering using ConGolog and i*
X Wang, Y Lespérance
Agent-Oriented Information Systems Workshop (AOIS-2001). Montreal, Canada, 59-78, 2001
792001
Specifying communicative multi-agent systems
S Shapiro, Y Lespérance, HJ Levesque
Australian Workshop on Distributed Artificial Intelligence, 1-14, 1997
781997
Situation calculus based programs for representing and reasoning about game structures
G De Giacomo, Y Lespérance, AR Pearce
Twelfth International Conference on the Principles of Knowledge …, 2010
652010
Indexical knowledge and robot action—a logical account
Y Lespérance, HJ Levesque
Artificial Intelligence 73 (1-2), 69-115, 1995
641995
A situation calculus approach to modeling and programming agents
Y Lespérance, HJ Levesque, R Reiter
Foundations of Rational Agency, 275-299, 1999
631999
Bounded situation calculus action theories and decidable verification
G De Giacomo, Y Lespérance, F Patrizi
Thirteenth International Conference on the Principles of Knowledge …, 2012
592012
Bounded situation calculus action theories
G De Giacomo, Y Lespérance, F Patrizi
Artificial Intelligence 237, 172-203, 2016
522016
Abstraction in situation calculus action theories
B Banihashemi, G De Giacomo, Y Lespérance
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
482017
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20