Yves Lespérance

	2009
55		Shakil M. Khan, Yves Lespérance: Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) 2009: 1155-1156
54		Alexei Lapouchnian, Yves Lespérance: Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. Conceptual Modeling: Foundations and Applications 2009: 483-503
53		Shakil M. Khan, Yves Lespérance: Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT 2009: 119-136
52		Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
	2008
51		Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
50		Yves Lespérance, Alexei Lapouchnian: On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. iStar 2008: 55-60
	2007
49		Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426
48		Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: Towards a logical theory of coordination and joint ability. AAMAS 2007: 81
47		Olena Borzenko, Yves Lespérance, Michael Jenkin: INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV 2007: 387-394
46		Steven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
	2006
45		Shakil M. Khan, Yves Lespérance: On the semantics of conditional commitment. AAMAS 2006: 1337-1344
44		Alexei Lapouchnian, Yves Lespérance: Modeling mental states in the analysis of multiagent systems requirements. AAMAS 2006: 241-243
43		Shakil M. Khan, Yves Lespérance: On the Semantics of Conditional Commitment. AC 2006: 45-60
42		Alexei Lapouchnian, Yves Lespérance: Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE 2006: 104-121
41		Alexei Lapouchnian, Yves Lespérance: Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE 2006: 480-494
40		Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA VII 2006: 151-170
39		Wei Xu, Michael Jenkin, Yves Lespérance: A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) 2006: 1885-1892
38		Olena Borzenko, Wei Xu, Mark Obsniuk, Arjun Chopra, Piotr Jasiobedzki, Michael R. M. Jenkin, Yves Lespérance: Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System. ICVS 2006: 42
37		Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471
	2005
36		Shakil M. Khan, Yves Lespérance: ECASL: a model of rational agency for communicating agents. AAMAS 2005: 762-769
35		Olena Borzenko, Yves Lespérance, Michael R. M. Jenkin: Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV 2005: 602-609
34		Andrew German, Michael R. M. Jenkin, Yves Lespérance: Entropy-Based Image Merging. CRV 2005: 81-86
33		Steven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change. IJCAI 2005: 582-588
	2004
32		Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
31		Shakil M. Khan, Yves Lespérance: A Model of Rational Agency for Communicating Agents. AC 2004: 242-259
30		Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004)
	2003
29		Yves Lespérance: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. Logic Journal of the IGPL 11(2): 161-178 (2003)
	2002
28		Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu: AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at CAiSE*02) CEUR-WS.org 2002
27		Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu: AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at AAMAS*02) CEUR-WS.org 2002
26		Steven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26
25		Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña: On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614
24		Alexei Lapouchnian, Yves Lespérance: Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. Applied Artificial Intelligence 16(9-10): 813-829 (2002)
	2001
23		Cristiano Castelfranchi, Yves Lespérance: Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings Springer 2001
22		Yves Lespérance: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL 2001: 69-85
21		Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari: AAAI 2000 Workshop Reports. AI Magazine 22(1): 127-136 (2001)
	2000
20		Nicholas R. Jennings, Yves Lespérance: Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings Springer 2000
19		Steven Shapiro, Yves Lespérance: Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL 2000: 244-259
18		Koen V. Hindriks, Yves Lespérance, Hector J. Levesque: An Embedding of ConGolog in 3APL. ECAI 2000: 558-562
17		Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
16		Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000)
15		Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl: Ability and Knowing How in the Situation Calculus. Studia Logica 66(1): 165-186 (2000)
	1999
14		Yves Lespérance, Kenneth Tam, Michael R. M. Jenkin: Reactivity in a Logic-Based Robot Programming Framework. ATAL 1999: 173-187
13		Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu: Modeling Dynamic Domains with ConGolog. CAiSE 1999: 365-380
	1997
12		Yves Lespérance, Hector J. Levesque, Shane J. Ruman: An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents 1997: 486-487
11		Steven Shapiro, Yves Lespérance, Hector J. Levesque: Specifying Communicative Multi-Agent Systems (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 1-14
10		Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin: Controlling Autonomous Robots with GOLOG. Australian Joint Conference on Artificial Intelligence 1997: 1-12
9		Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226
8		Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl: GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31(1-3): 59-83 (1997)
	1996
7		Yves Lespérance, Hector J. Levesque, Shane J. Ruman: An Experiment in Using Golog to Build a Personal Banking Assistant. PRICAI Workshop on Intelligent Agent Systems 1996: 27-43
6		Eric S. K. Yu, John Mylopoulos, Yves Lespérance: AI Models for Business Process Reengineering. IEEE Expert 11(4): 16-23 (1996)
	1995
5		Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl: Foundations of a Logical Approach to Agent Programming. ATAL 1995: 331-346
4		Yves Lespérance, Hector J. Levesque: Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995)
	1990
3		Yves Lespérance, Hector J. Levesque: Indexical Knowledge in Robot Plans. AAAI 1990: 1030-1037
	1989
2		Yves Lespérance: A Formal Account of Self-Knowledge and Action. IJCAI 1989: 868-874
	1986
1		Yves Lespérance: Toward a computational interpretation of situation semantics. Computational Intelligence 2: 9-27 (1986)

Coauthor Index

1	David W. Aha	[21]
2	Jamal Bentahar	[40]
3	Claudio Bettini	[21]
4	William P. Birmingham	[21]
5	Kurt D. Bollacker	[21]
6	Olena Borzenko	[35] [38] [47]
7	Cristiano Castelfranchi	[23]
8	Arjun Chopra	[38]
9	Jörg Denzinger	[21]
10	Timothy W. Finin (Tim Finin)	[21]
11	Andrew German	[34]
12	Lise Getoor	[21]
13	Hojjat Ghaderi	[48] [49]
14	Giuseppe De Giacomo	[9] [16] [25] [30] [32] [37] [51] [52]
15	Yolanda Gil	[21]
16	Paolo Giorgini	[27] [28]
17	Carla P. Gomes	[21]
18	Benjamin N. Grosof	[21]
19	Koen V. Hindriks	[18]
20	Robert C. Holte (Robert Holte)	[21]
21	Holger H. Hoos (Holger Hoos)	[21]
22	Nathalie Japkowicz	[21]
23	Piotr Jasiobedzki	[38]
24	Michael R. M. Jenkin (Michael Jenkin)	[10] [14] [34] [35] [38] [39] [47]
25	Nicholas R. Jennings (Nick R. Jennings)	[20]
26	Todd G. Kelley	[13]
27	Shakil M. Khan	[31] [36] [43] [45] [53] [55]
28	Miroslav Kubat	[21]
29	Alexei Lapouchnian	[24] [41] [42] [44] [50] [54]
30	Massimiliano de Leoni	[52]
31	Hector J. Levesque	[3] [4] [5] [7] [8] [9] [10] [11] [12] [15] [16] [17] [18] [25] [26] [30] [32] [33] [37] [46] [48] [49]
32	Fangzhen Lin	[5] [8] [10] [15]
33	J. Lloyd	[10]
34	Daniel Marcu	[5] [10]
35	Massimo Mecella	[52]
36	John-Jules Ch. Meyer	[40]
37	Tom M. Mitchell	[21]
38	Angelo Montanari	[21]
39	Bernard Moulin	[40]
40	Karen L. Myers	[21]
41	John Mylopoulos	[6] [13]
42	Alexander Nareyek	[21]
43	Mark Obsniuk	[38]
44	Atalay Nafi Ozgovde	[51]
45	Maurice Pagnucco	[17]
46	Raymond Reiter	[5] [8] [10]
47	Shane J. Ruman	[7] [12]
48	Sebastian Sardiña	[25] [30] [32] [37]
49	Richard B. Scherl	[5] [8] [15]
50	Alan C. Schultz	[21]
51	Steven Shapiro	[11] [17] [19] [26] [33] [46]
52	Kenneth Tam	[10] [14]
53	Gerd Wagner	[21] [27] [28]
54	J. Paul Walser	[21]
55	Wei Xu	[38] [39]
56	Eric S. K. Yu	[6] [13] [27] [28]

Colors in the list of coauthors