Yves Lespérance

According to our database1, Yves Lespérance authored at least 82 papers between 1986 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Hierarchical Agent Supervision.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
A planning approach to the automated synthesis of template-based process models.
Service Oriented Computing and Applications, 2017

Rewards Structure in Games: Learning a Compact Representation for Action Space.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Abstraction in Situation Calculus Action Theories.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Bounded situation calculus action theories.
Artif. Intell., 2016

Online Situation-Determined Agents and their Supervision.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Infinite Paths in the Situation Calculus: Axiomatization and Properties.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Online Agent Supervision in the Situation Calculus.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Situation Calculus Game Structures and GDL.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Verifying ConGolog Programs on Bounded Situation Calculus Theories.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Synchronous Games in the Situation Calculus.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Progression and verification of situation calculus agents with bounded beliefs.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Bounded Epistemic Situation Calculus Theories.
Proceedings of the IJCAI 2013, 2013

Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

2012
A Logic-Based Approach to Business Process Customization.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Bounded Situation Calculus Action Theories and Decidable Verification.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Efficient Reasoning in Multiagent Epistemic Logics.
Proceedings of the ECAI 2012, 2012

On supervising agents in situation-determined ConGolog.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Bounded Situation Calculus Action Theories and Decidable Verification.
Proceedings of the Cognitive Robotics, 2012

2011
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version).
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.
Proceedings of the IJCAI 2011, 2011

SR-APL: a model for a programming language for rational BDI agents with prioritized goals.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Situation Calculus Based Programs for Representing and Reasoning about Game Structures.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A logical framework for prioritized goal change.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
On-line adaptation of sequential mobile processes running concurrently.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Golog Speaks the BDI Language.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Handling prioritized goals and subgoals in a logical account of goal change.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents.
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008
On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems.
Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

A model of contingent planning for agent programming languages.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Goal Change in the Situation Calculus.
J. Log. Comput., 2007

INVICON: A Toolkit for Knowledge-Based Control of Vision Systems.
Proceedings of the Fourth Canadian Conference on Computer and Robot Vision (CRV 2007), 2007

Towards a logical theory of coordination and joint ability.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Logical Theory of Coordination and Joint Ability.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

A Logical Theory of Coordination and Joint Ability.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
On the Limits of Planning over Belief States under Strict Uncertainty.
Proceedings of the Proceedings, 2006

Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System.
Proceedings of the 2006 IEEE International Conference on Computer Vision Systems, 2006

A Multi-Channel Algorithm for Edge Detection Under Varying Lighting.
Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 2006

A New Logical Semantics for Agent Communication.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Modeling Mental States in Agent-Oriented Requirements Engineering.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Modeling mental states in the analysis of multiagent systems requirements.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the semantics of conditional commitment.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Modeling Mental States in the Analysis of Multiagent Systems Requirements.
Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

On the Semantics of Conditional Commitment.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005
Goal Change.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Entropy-Based Image Merging.
Proceedings of the Second Canadian Conference on Computer and Robot Vision (CRV 2005), 2005

Controlling Camera and Lights for Intelligent Image Acquisition and Merging.
Proceedings of the Second Canadian Conference on Computer and Robot Vision (CRV 2005), 2005

ECASL: a model of rational agency for communicating agents.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning.
Proceedings of the Agents and the Semantic Web, 2005

2004
On the Semantics of Deliberation in Indigolog - from Theory to Implementation.
Ann. Math. Artif. Intell., 2004

On Ability to Autonomously Execute Agent Programs with Sensing.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

A Model of Rational Agency for Communicating Agents.
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2002
Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications.
Applied Artificial Intelligence, 2002

On the Semantics of Deliberation in IndiGolog: From Theory to Implementation.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

The cognitive agents specification language and verification environment for multiagent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
AAAI 2000 Workshop Reports.
AI Magazine, 2001

On the Epistemic Feasibility of Plans in Multiagent Systems Specifications.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000
Ability and Knowing How in the Situation Calculus.
Studia Logica, 2000

ConGolog, a concurrent programming language based on the situation calculus.
Artif. Intell., 2000

Iterated Belief Change in the Situation Calculus.
Proceedings of the KR 2000, 2000

An Embedding of ConGolog in 3APL.
Proceedings of the ECAI 2000, 2000

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1999
Modeling Dynamic Domains with ConGolog.
Proceedings of the Advanced Information Systems Engineering, 1999

Reactivity in a Logic-Based Robot Programming Framework.
Proceedings of the Intelligent Agents VI, 1999

1997
GOLOG: A Logic Programming Language for Dynamic Domains.
J. Log. Program., 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Controlling Autonomous Robots with GOLOG.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Specifying Communicative Multi-Agent Systems (Invited Paper).
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract).
Proceedings of the First International Conference on Autonomous Agents, 1997

1996
AI Models for Business Process Reengineering.
IEEE Expert, 1996

An Experiment in Using Golog to Build a Personal Banking Assistant.
Proceedings of the Intelligent Agent Systems, 1996

1995
Indexical Knowledge and Robot Action - A Logical Account.
Artif. Intell., 1995

Foundations of a Logical Approach to Agent Programming.
Proceedings of the Intelligent Agents II, 1995

1990
Indexical Knowledge in Robot Plans.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
A Formal Account of Self-Knowledge and Action.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1986
Toward a computational interpretation of situation semantics.
Computational Intelligence, 1986


  Loading...