| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated belief change in the situation calculus.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
SR-APL: a model for a programming language for rational BDI agents with prioritized goals. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce |
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen (eds.) |
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
A logical framework for prioritized goal change. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella |
On-line adaptation of sequential mobile processes running concurrently. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
GOLOG, pervasive scenarios, process management, situation calculus, smart devices |
| 1 | Sebastian Sardiña, Yves Lespérance |
Golog Speaks the BDI Language. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
Handling prioritized goals and subgoals in a logical account of goal change. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
goal change, logic of agency, prioritized goals, subgoals, intention |
| 1 | Yves Lespérance, Alexei Lapouchnian |
On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. |
iStar |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde |
A model of contingent planning for agent programming languages. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change in the Situation Calculus. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance |
A Logical Theory of Coordination and Joint Ability. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance |
Towards a logical theory of coordination and joint ability. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olena Borzenko, Yves Lespérance, Michael Jenkin |
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. |
CRV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance |
A Logical Theory of Coordination and Joint Ability. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance |
A New Logical Semantics for Agent Communication. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lapouchnian, Yves Lespérance |
Modeling Mental States in Agent-Oriented Requirements Engineering. |
CAiSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Xu, Michael Jenkin, Yves Lespérance |
A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. |
CVPR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lapouchnian, Yves Lespérance |
Modeling Mental States in the Analysis of Multiagent Systems Requirements. |
AOSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
On the Semantics of Conditional Commitment. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
On the semantics of conditional commitment. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
conditional commitments, conditional intentions, semantics of requests, agent communication, logics for agent systems, formal models of agency |
| 1 | Alexei Lapouchnian, Yves Lespérance |
Modeling mental states in the analysis of multiagent systems requirements. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
agent-oriented software engineering, goal-oriented requirements engineering, logics for agent systems |
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shakil M. Khan, Yves Lespérance |
ECASL: a model of rational agency for communicating agents. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
agent theory, intentions, agent communication, rationality |
| 1 | Olena Borzenko, Yves Lespérance, Michael R. M. Jenkin |
Controlling Camera and Lights for Intelligent Image Acquisition and Merging. |
CRV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew German, Michael R. M. Jenkin, Yves Lespérance |
Entropy-Based Image Merging. |
CRV |
2005 |
DBLP DOI BibTeX RDF |
Image Entropy, High Dynamic Range |
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
models of agency, planning with, incomplete information, deliberation, agent programming |
| 1 | Shakil M. Khan, Yves Lespérance |
A Model of Rational Agency for Communicating Agents. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On Ability to Autonomously Execute Agent Programs with Sensing. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance |
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lapouchnian, Yves Lespérance |
Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. |
Applied Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu (eds.) |
AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at CAiSE*02) |
AOIS@CAiSE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu (eds.) |
AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at AAMAS*02) |
AOIS@AAMAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
The cognitive agents specification language and verification environment for multiagent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent specification languages, theorem proving, proof assistants, verification tools |
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristiano Castelfranchi, Yves Lespérance (eds.) |
Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings |
ATAL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance |
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl |
Ability and Knowing How in the Situation Calculus. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
ConGolog, a concurrent programming language based on the situation calculus. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen V. Hindriks, Yves Lespérance, Hector J. Levesque |
An Embedding of ConGolog in 3APL. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated Belief Change in the Situation Calculus. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Nicholas R. Jennings, Yves Lespérance (eds.) |
Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings |
ATAL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance |
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu |
Modeling Dynamic Domains with ConGolog. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Kenneth Tam, Michael R. M. Jenkin |
Reactivity in a Logic-Based Robot Programming Framework. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl |
GOLOG: A Logic Programming Language for Dynamic Domains. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque, Shane J. Ruman |
An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). |
Agents |
1997 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. K. Yu, John Mylopoulos, Yves Lespérance |
AI Models for Business Process Reengineering. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque |
Indexical Knowledge and Robot Action - A Logical Account. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque |
Indexical Knowledge in Robot Plans. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance |
A Formal Account of Self-Knowledge and Action. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance |
Toward a computational interpretation of situation semantics. |
Computational Intelligence |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")