Search Results - "Lespérance, Yves"

Bounded situation calculus action theories by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio

“…In this paper,1 we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the…”
Get full text

A planning approach to the automated synthesis of template-based process models by Marrella, Andrea, Lespérance, Yves

“…The design-time specification of flexible processes can be time-consuming and error-prone, due to the high number of tasks involved and their context-dependent…”
Get full text

Iterated belief change in the situation calculus by Shapiro, Steven, Pagnucco, Maurice, Lespérance, Yves, Levesque, Hector J.

“…John McCarthy's situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant formalism for modelling and reasoning…”
Get full text

ConGolog, a concurrent programming language based on the situation calculus by De Giacomo, Giuseppe, Lespérance, Yves, Levesque, Hector J.

“…As an alternative to planning, an approach to high-level agent control based on concurrent program execution is considered. A formal definition in the…”
Get full text

Progression and Verification of Situation Calculus Agents with Bounded Beliefs by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio, Vassos, Stavros

“…We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such…”
Get full text

GOLOG: A logic programming language for dynamic domains by Levesque, Hector J., Reiter, Raymond, Lespérance, Yves, Lin, Fangzhen, Scherl, Richard B.

“…This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world…”
Get full text

Abstracting Situation Calculus Action Theories by Banihashemi, Bita, De Giacomo, Giuseppe, Lespérance, Yves

“…We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a…”
Get full text

Goal Change in the Situation Calculus by Shapiro, Steven, Lespérance, Yves, Levesque, Hector J.

“…Although there has been much discussion of belief change (e.g. [4, 21]), goal change has not received much attention. In this paper, we propose a method for…”
Get full text

Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version by Banihashemi, Bita, De Giacomo, Giuseppe, Lespérance, Yves

“…We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the…”
Get full text

Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes by Marrella, Andrea, Lesperance, Yves

“…It is difficult to produce a detailed model of a dynamic process ahead of time. Such processes may include some under specified activities whose exact…”
Get full text

On the Semantics of Deliberation in Indigolog – from Theory to Implementation by Sardina, Sebastian, De Giacomo, Giuseppe, Lespérance, Yves, Levesque, Hector J.

“…We develop an account of the kind of deliberation that an agent that is doing planning or executing high-level programs under incomplete information must be…”
Get full text

Indexical knowledge and robot action—a logical account by Lespérance, Yves, Levesque, Hector J.

“…The knowledge required for action is generally indexical rather than objective. For example, a robot that knows the relative position of an object is generally…”
Get full text

Ability and Knowing How in the Situation Calculus by Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Scherl, Richard B.

“…Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also…”
Get full text

Bounded Situation Calculus Action Theories by De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio

“…In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the…”
Get full text

Iterated belief change in the situation calculus: John McCarthy's legacy by SHAPIRO, Steven, PAGNUCCO, Maurice, LESPERANCE, Yves, LEVESQUE, Hector J

Get full text

INVICON: A Toolkit for Knowledge-Based Control of Vision Systems by Borzenko, O., Lesperance, Y., Jenkin, M.

“…To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their…”
Get full text

Ability and Knowing How in the Situation Calculus by LESPÉRANCE, YVES, Levesque, Hector J, Lin, Fangzhen, Scherl, Richard B

Get full text

Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System by Borzenko, O., Wei Xu, Obsniuk, M., Chopra, A., Jasiobedzki, P., Jenkin, M., Lesperance, Y.

“…Guiding the spacecraft docking process requires the use of sensors that estimate the relative position of the two vessels. This task is complicated by the…”
Get full text

AI models for business process reengineering by Yu, E S K 700, Jin, Y

Get full text

A formal theory of indexical knowledge and action by Lesperance, Yves

“…Agents act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly…”
Get full text