dblp.uni-trier.dewww.uni-trier.de

Yves Lespérance Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
54EEShakil M. Khan, Yves Lespérance: Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) 2009: 1155-1156
53EEAlexei 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
52EEMassimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
2008
51EEYves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
50EEYves 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
48EEHojjat Ghaderi, Hector J. Levesque, Yves Lespérance: Towards a logical theory of coordination and joint ability. AAMAS 2007: 81
47EEOlena Borzenko, Yves Lespérance, Michael Jenkin: INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV 2007: 387-394
46EESteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
2006
45EEShakil M. Khan, Yves Lespérance: On the semantics of conditional commitment. AAMAS 2006: 1337-1344
44EEAlexei Lapouchnian, Yves Lespérance: Modeling mental states in the analysis of multiagent systems requirements. AAMAS 2006: 241-243
43EEShakil M. Khan, Yves Lespérance: On the Semantics of Conditional Commitment. AC 2006: 45-60
42EEAlexei Lapouchnian, Yves Lespérance: Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE 2006: 104-121
41EEAlexei Lapouchnian, Yves Lespérance: Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE 2006: 480-494
40EEJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA VII 2006: 151-170
39EEWei Xu, Michael Jenkin, Yves Lespérance: A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) 2006: 1885-1892
38EEOlena 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
36EEShakil M. Khan, Yves Lespérance: ECASL: a model of rational agency for communicating agents. AAMAS 2005: 762-769
35EEOlena Borzenko, Yves Lespérance, Michael R. M. Jenkin: Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV 2005: 602-609
34EEAndrew German, Michael R. M. Jenkin, Yves Lespérance: Entropy-Based Image Merging. CRV 2005: 81-86
33EESteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change. IJCAI 2005: 582-588
2004
32EESebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
31EEShakil M. Khan, Yves Lespérance: A Model of Rational Agency for Communicating Agents. AC 2004: 242-259
30EESebastian 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
29EEYves 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
26EESteven 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
24EEAlexei 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
22EEYves 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
19EESteven 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
16EEGiuseppe 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
13EEYves 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
11EESteven 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
10EEKenneth 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
7EEYves 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
6EEEric 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
4EEYves 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)