Yves Lespérance

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 23

Top Topics

Situation Calculus

Continuous Action

Action Theories

Top Venues

Publications

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
Abstraction of Situation Calculus Concurrent Game Structures. AAAI (2024)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI (2023)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR (2023)
Haolin Sun, Yves Lespérance
Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. EUMAS (2023)
Giuseppe De Giacomo, Yves Lespérance
The Nondeterministic Situation Calculus. KR (2021)
Shakil M. Khan, Yves Lespérance
Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. AAMAS (2021)
Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI (2020)
Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi
A Modal Logic for Joint Abilities under Strategy Commitments. IJCAI (2020)
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)
Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin
Agent Abstraction via Forgetting in the Situation Calculus. ECAI (2020)
Giuseppe De Giacomo, Yves Lespérance
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS (2020)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI (2018)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Hierarchical Agent Supervision. AAMAS (2018)
Andrea Marrella, Yves Lespérance
A planning approach to the automated synthesis of template-based process models. Serv. Oriented Comput. Appl. 11 (4) (2017)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction in Situation Calculus Action Theories. AAAI (2017)
Margot Lisa-Jing Yann, Yves Lespérance, Aijun An
Rewards Structure in Games: Learning a Compact Representation for Action Space. AAAI Workshops (2017)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI (2016)
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
Situation Calculus Game Structures and GDL. ECAI (2016)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Online Situation-Determined Agents and their Supervision. KR (2016)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Online Agent Supervision in the Situation Calculus. IJCAI (2016)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded situation calculus action theories. Artif. Intell. 237 (2016)
Shakil M. Khan, Yves Lespérance
Infinite Paths in the Situation Calculus: Axiomatization and Properties. KR (2016)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica 104 (4) (2016)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories. CoRR (2015)
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
Synchronous Games in the Situation Calculus. AAMAS (2015)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
Progression and verification of situation calculus agents with bounded beliefs. AAMAS (2014)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI (2014)
Slawomir Kmiec, Yves Lespérance
Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. EMAS@AAMAS (2014)
Andrea Marrella, Yves Lespérance
Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. BMMDS/EMMSAD (2013)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Epistemic Situation Calculus Theories. IJCAI (2013)
Andrea Marrella, Yves Lespérance
Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes. SOCA (2013)
Yves Lespérance
A Logic-Based Approach to Business Process Customization. KiBP@KR (2012)
Gerhard Lakemeyer, Yves Lespérance
Efficient Reasoning in Multiagent Epistemic Logics. ECAI (2012)
Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise
On supervising agents in situation-determined ConGolog. AAMAS (2012)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories and Decidable Verification. KR (2012)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI (2012)
Shakil M. Khan, Yves Lespérance
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). ProMAS (2011)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI (2011)
Shakil M. Khan, Yves Lespérance
SR-APL: a model for a programming language for rational BDI agents with prioritized goals. AAMAS (2011)
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
Iterated belief change in the situation calculus. Artif. Intell. 175 (1) (2011)
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR (2010)
Shakil M. Khan, Yves Lespérance
A logical framework for prioritized goal change. AAMAS (2010)
Shakil M. Khan, Yves Lespérance
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT (2009)
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)
Sebastian Sardiña, Yves Lespérance
Golog Speaks the BDI Language. PROMAS (2009)
Shakil M. Khan, Yves Lespérance
Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) (2009)
Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella
On-line adaptation of sequential mobile processes running concurrently. SAC (2009)
Yves Lespérance, Alexei Lapouchnian
On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. iStar (2008)
Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde
A model of contingent planning for agent programming languages. AAMAS (1) (2008)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
Goal Change in the Situation Calculus. J. Log. Comput. 17 (5) (2007)
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)
Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
A Logical Theory of Coordination and Joint Ability. AAAI (2007)
Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
Towards a logical theory of coordination and joint ability. AAMAS (2007)
Olena Borzenko, Yves Lespérance, Michael Jenkin
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV (2007)
Shakil M. Khan, Yves Lespérance
On the Semantics of Conditional Commitment. AC (2006)
Alexei Lapouchnian, Yves Lespérance
Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE (2006)
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
A New Logical Semantics for Agent Communication. CLIMA (2006)
Alexei Lapouchnian, Yves Lespérance
Modeling mental states in the analysis of multiagent systems requirements. AAMAS (2006)
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)
Wei Xu, Michael Jenkin, Yves Lespérance
A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) (2006)
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)
Shakil M. Khan, Yves Lespérance
On the semantics of conditional commitment. AAMAS (2006)
Alexei Lapouchnian, Yves Lespérance
Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE (2006)
Olena Borzenko, Yves Lespérance, Michael R. M. Jenkin
Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV (2005)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
Goal Change. IJCAI (2005)
Shakil M. Khan, Yves Lespérance
ECASL: a model of rational agency for communicating agents. AAMAS (2005)
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)
Andrew German, Michael R. M. Jenkin, Yves Lespérance
Entropy-Based Image Merging. CRV (2005)
Shakil M. Khan, Yves Lespérance
A Model of Rational Agency for Communicating Agents. AC (2004)
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS (2004)
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) (2004)
Yves Lespérance
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. Log. J. IGPL 11 (2) (2003)
Alexei Lapouchnian, Yves Lespérance
Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. Appl. Artif. Intell. 16 (9-10) (2002)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
The cognitive agents specification language and verification environment for multiagent systems. AAMAS (2002)
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)
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) (2001)
Yves Lespérance
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL (2001)
Steven Shapiro, Yves Lespérance
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL (2000)
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
Iterated Belief Change in the Situation Calculus. KR (2000)
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
Ability and Knowing How in the Situation Calculus. Stud Logica 66 (1) (2000)
Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
An Embedding of ConGolog in 3APL. ECAI (2000)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121 (1-2) (2000)
Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu
Modeling Dynamic Domains with ConGolog. CAiSE (1999)
Yves Lespérance, Kenneth Tam, Michael R. M. Jenkin
Reactivity in a Logic-Based Robot Programming Framework. ATAL (1999)
Yves Lespérance, Hector J. Levesque, Shane J. Ruman
An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents (1997)
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) (1997)
Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
. Australian Joint Conference on Artificial Intelligence (1997)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI (1997)
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)
Eric S. K. Yu, John Mylopoulos, Yves Lespérance
AI Models for Business Process Reengineering. IEEE Expert 11 (4) (1996)
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)
Yves Lespérance, Hector J. Levesque
Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73 (1-2) (1995)
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)
Yves Lespérance, Hector J. Levesque
Indexical Knowledge in Robot Plans. AAAI (1990)
Yves Lespérance
A Formal Account of Self-Knowledge and Action. IJCAI (1989)
Yves Lespérance
Toward a computational interpretation of situation semantics. Comput. Intell. 2 (1986)