Yves Lespérance Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) 2009: 1155-1156
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT 2009: 119-136
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
2008
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Alexei Lapouchnian: On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. iStar 2008: 55-60
2007
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHojjat Ghaderi, Hector J. Levesque, Yves Lespérance: Towards a logical theory of coordination and joint ability. AAMAS 2007: 81
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena Borzenko, Yves Lespérance, Michael Jenkin: INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV 2007: 387-394
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
2006
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: On the semantics of conditional commitment. AAMAS 2006: 1337-1344
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei Lapouchnian, Yves Lespérance: Modeling mental states in the analysis of multiagent systems requirements. AAMAS 2006: 241-243
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: On the Semantics of Conditional Commitment. AC 2006: 45-60
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei Lapouchnian, Yves Lespérance: Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE 2006: 104-121
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei Lapouchnian, Yves Lespérance: Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE 2006: 480-494
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA VII 2006: 151-170
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Xu, Michael Jenkin, Yves Lespérance: A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) 2006: 1885-1892
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: ECASL: a model of rational agency for communicating agents. AAMAS 2005: 762-769
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena Borzenko, Yves Lespérance, Michael R. M. Jenkin: Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV 2005: 602-609
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew German, Michael R. M. Jenkin, Yves Lespérance: Entropy-Based Image Merging. CRV 2005: 81-86
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change. IJCAI 2005: 582-588
2004
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShakil M. Khan, Yves Lespérance: A Model of Rational Agency for Communicating Agents. AC 2004: 242-259
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. Logic Journal of the IGPL 11(2): 161-178 (2003)
2002
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei Lapouchnian, Yves Lespérance: Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. Applied Artificial Intelligence 16(9-10): 813-829 (2002)
2001
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiano 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL 2001: 69-85
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Yves Lespérance: Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL 2000: 244-259
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, Yves Lespérance, Hector J. Levesque: An Embedding of ConGolog in 3APL. ECAI 2000: 558-562
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Kenneth Tam, Michael R. M. Jenkin: Reactivity in a Logic-Based Robot Programming Framework. ATAL 1999: 173-187
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu: Modeling Dynamic Domains with ConGolog. CAiSE 1999: 365-380
1997
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHector 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric S. K. Yu, John Mylopoulos, Yves Lespérance: AI Models for Business Process Reengineering. IEEE Expert 11(4): 16-23 (1996)
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Hector J. Levesque: Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995)
1990
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Hector J. Levesque: Indexical Knowledge in Robot Plans. AAAI 1990: 1030-1037
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance: A Formal Account of Self-Knowledge and Action. IJCAI 1989: 868-874
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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] [53] [55]
28Miroslav Kubat [21]
29Alexei Lapouchnian [24] [41] [42] [44] [50] [54]
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 © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)