![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Yves Lespérance
Person information
- affiliation: York University, Toronto, Canada
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c79]Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan:
Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024: 10624-10634 - 2023
- [c78]Haolin Sun
, Yves Lespérance
:
Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. EUMAS 2023: 83-99 - [c77]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI 2023: 3112-3122 - [i2]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR abs/2305.14222 (2023) - 2021
- [c76]Shakil M. Khan
, Yves Lespérance:
Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. AAMAS 2021: 701-709 - [c75]Giuseppe De Giacomo, Yves Lespérance:
The Nondeterministic Situation Calculus. KR 2021: 216-226 - 2020
- [c74]Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska:
ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI 2020: 2806-2813 - [c73]Giuseppe De Giacomo, Yves Lespérance:
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS 2020: 294-302 - [c72]Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin:
Agent Abstraction via Forgetting in the Situation Calculus. ECAI 2020: 809-816 - [c71]Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi:
A Modal Logic for Joint Abilities under Strategy Commitments. IJCAI 2020: 1805-1812 - [c70]Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci:
Transcultural Health-Aware Guides for the Elderly. WOA 2020: 135-146 - [e6]Louise A. Dennis
, Rafael H. Bordini
, Yves Lespérance:
Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12058, Springer 2020, ISBN 978-3-030-51416-7 [contents]
2010 – 2019
- 2018
- [c69]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Hierarchical Agent Supervision. AAMAS 2018: 1432-1440 - [c68]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI 2018: 1699-1706 - 2017
- [j15]Andrea Marrella, Yves Lespérance:
A planning approach to the automated synthesis of template-based process models. Serv. Oriented Comput. Appl. 11(4): 367-392 (2017) - [c67]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Abstraction in Situation Calculus Action Theories. AAAI 2017: 1048-1055 - [c66]Margot Lisa-Jing Yann, Yves Lespérance, Aijun An:
Rewards Structure in Games: Learning a Compact Representation for Action Space. AAAI Workshops 2017 - 2016
- [j14]Giuseppe De Giacomo
, Yves Lespérance, Fabio Patrizi
:
Bounded situation calculus action theories. Artif. Intell. 237: 172-203 (2016) - [j13]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
, Stavros Vassos
:
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica 104(4): 705-739 (2016) - [c65]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña:
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI 2016: 950-956 - [c64]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
:
Situation Calculus Game Structures and GDL. ECAI 2016: 408-416 - [c63]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. IJCAI 2016: 922-928 - [c62]Bita Banihashemi
, Giuseppe De Giacomo, Yves Lespérance:
Online Situation-Determined Agents and their Supervision. KR 2016: 517-520 - [c61]Shakil M. Khan, Yves Lespérance:
Infinite Paths in the Situation Calculus: Axiomatization and Properties. KR 2016: 565-568 - 2015
- [c60]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Synchronous Games in the Situation Calculus. AAMAS 2015: 1675-1676 - [i1]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories. CoRR abs/1509.02012 (2015) - 2014
- [c59]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and verification of situation calculus agents with bounded beliefs. AAMAS 2014: 141-148 - [c58]Slawomir Kmiec, Yves Lespérance:
Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. EMAS@AAMAS 2014: 271-290 - [c57]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
, Stavros Vassos
:
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI 2014: 369-374 - 2013
- [c56]Andrea Marrella
, Yves Lespérance:
Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. BMMDS/EMMSAD 2013: 277-291 - [c55]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Epistemic Situation Calculus Theories. IJCAI 2013: 846-853 - [c54]Andrea Marrella
, Yves Lespérance:
Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes. SOCA 2013: 361-365 - 2012
- [c53]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI 2012 - [c52]Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise:
On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038 - [c51]Gerhard Lakemeyer, Yves Lespérance:
Efficient Reasoning in Multiagent Epistemic Logics. ECAI 2012: 498-503 - [c50]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. KR 2012 - [c49]Yves Lespérance:
A Logic-Based Approach to Business Process Customization. KiBP@KR 2012: 5 - 2011
- [j12]Steven Shapiro, Maurice Pagnucco
, Yves Lespérance, Hector J. Levesque:
Iterated belief change in the situation calculus. Artif. Intell. 175(1): 165-192 (2011) - [c48]Shakil M. Khan, Yves Lespérance:
SR-APL: a model for a programming language for rational BDI agents with prioritized goals. AAMAS 2011: 1251-1252 - [c47]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832 - [c46]Shakil M. Khan
, Yves Lespérance:
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). ProMAS 2011: 3-21 - [p2]Alexei Lapouchnian, Yves Lespérance:
Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models. Social Modeling for Requirements Engineering 2011: 219-254 - 2010
- [c45]Shakil M. Khan, Yves Lespérance:
A logical framework for prioritized goal change. AAMAS 2010: 283-290 - [c44]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010 - [e5]Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen:
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. IFAAMAS 2010, ISBN 978-0-9826571-1-9 [contents]
2000 – 2009
- 2009
- [c43]Shakil M. Khan, Yves Lespérance:
Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) 2009: 1155-1156 - [c42]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 - [c41]Shakil M. Khan
, Yves Lespérance:
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT 2009: 119-136 - [c40]Sebastian Sardiña
, Yves Lespérance:
Golog Speaks the BDI Language. PROMAS 2009: 82-99 - [c39]Massimiliano de Leoni
, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella
:
On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352 - [p1]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications 2009: 31-72 - 2008
- [c38]Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde:
A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484 - [c37]Yves Lespérance, Alexei Lapouchnian:
On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. iStar 2008: 55-60 - 2007
- [j11]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007) - [c36]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426 - [c35]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: 53-58 - [c34]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
Towards a logical theory of coordination and joint ability. AAMAS 2007: 81 - [c33]Olena Borzenko, Yves Lespérance, Michael Jenkin
:
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV 2007: 387-394 - 2006
- [c32]Shakil M. Khan, Yves Lespérance:
On the Semantics of Conditional Commitment. AC 2006: 45-60 - [c31]Alexei Lapouchnian, Yves Lespérance:
Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE 2006: 104-121 - [c30]Alexei Lapouchnian, Yves Lespérance:
Modeling mental states in the analysis of multiagent systems requirements. AAMAS 2006: 241-243 - [c29]Shakil M. Khan
, Yves Lespérance:
On the semantics of conditional commitment. AAMAS 2006: 1337-1344 - [c28]Alexei Lapouchnian, Yves Lespérance:
Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE 2006: 480-494 - [c27]Jamal Bentahar
, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170 - [c26]Wei Xu, Michael Jenkin
, Yves Lespérance:
A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) 2006: 1885-1892 - [c25]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 - [c24]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
- [c23]Erick Martínez, Yves Lespérance:
Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning. AAAI Fall Symposium: Agents and the Semantic Web 2005: 38-46 - [c22]Shakil M. Khan, Yves Lespérance:
ECASL: a model of rational agency for communicating agents. AAMAS 2005: 762-769 - [c21]Andrew German, Michael R. M. Jenkin
, Yves Lespérance:
Entropy-Based Image Merging. CRV 2005: 81-86 - [c20]Olena Borzenko, Yves Lespérance, Michael R. M. Jenkin
:
Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV 2005: 602-609 - [c19]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change. IJCAI 2005: 582-588 - 2004
- [j10]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) - [c18]Shakil M. Khan, Yves Lespérance:
A Model of Rational Agency for Communicating Agents. AC 2004: 242-259 - [c17]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 - 2003
- [j9]Yves Lespérance:
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. Log. J. IGPL 11(2): 161-178 (2003) - 2002
- [j8]Alexei Lapouchnian, Yves Lespérance:
Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. Appl. Artif. Intell. 16(9-10): 813-829 (2002) - [c16]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26 - [c15]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 - [e4]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 Workshop Proceedings 57, CEUR-WS.org 2002 [contents] - [e3]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 Workshop Proceedings 59, CEUR-WS.org 2002 [contents] - 2001
- [j7]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 Mag. 22(1): 127-136 (2001) - [c14]Yves Lespérance:
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL 2001: 69-85 - [e2]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. Lecture Notes in Computer Science 1986, Springer 2001, ISBN 3-540-42422-9 [contents] - 2000
- [j6]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) - [j5]Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl:
Ability and Knowing How in the Situation Calculus. Stud Logica 66(1): 165-186 (2000) - [c13]Steven Shapiro, Yves Lespérance:
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL 2000: 244-259 - [c12]Koen V. Hindriks, Yves Lespérance, Hector J. Levesque:
An Embedding of ConGolog in 3APL. ECAI 2000: 558-562 - [c11]Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque:
Iterated Belief Change in the Situation Calculus. KR 2000: 527-538 - [e1]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. Lecture Notes in Computer Science 1757, Springer 2000, ISBN 3-540-67200-1 [contents]
1990 – 1999
- 1999
- [c10]Yves Lespérance, Kenneth Tam, Michael R. M. Jenkin:
Reactivity in a Logic-Based Robot Programming Framework. ATAL 1999: 173-187 - [c9]Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu:
Modeling Dynamic Domains with ConGolog. CAiSE 1999: 365-380 - 1997
- [j4]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) - [c8]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 - [c7]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 - [c6]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 - [c5]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 - 1996
- [j3]Eric S. K. Yu, John Mylopoulos, Yves Lespérance:
AI Models for Business Process Reengineering. IEEE Expert 11(4): 16-23 (1996) - [c4]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 - 1995
- [j2]Yves Lespérance, Hector J. Levesque:
Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995) - [c3]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 - 1991
- [b1]Yves Lespérance:
A formal theory of indexical knowledge and action. University of Toronto, Canada, 1991 - 1990
- [c2]Yves Lespérance, Hector J. Levesque:
Indexical Knowledge in Robot Plans. AAAI 1990: 1030-1037
1980 – 1989
- 1989
- [c1]Yves Lespérance:
A Formal Account of Self-Knowledge and Action. IJCAI 1989: 868-874 - 1986
- [j1]Yves Lespérance:
Toward a computational interpretation of situation semantics. Comput. Intell. 2: 9-27 (1986)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint