The ability of a mobile robot to transport itself over various terrains is an important goal in developing of walking robots. This project aims to design a generic algorithm which would be able to plan the steps of a given walking quadruped robot over irregular terrain, i.e., given the kinematic structure of the robot and point of destination or desired navigation route, the algorithm will plan...

Consider the problem of exact Nash Implementation of social choice correspondences. De…ne a lottery mechanism as a mechanism in which the planner can randomize on alternatives out of equilibrium while pure alternatives are always chosen in equilibrium. When preferences over alternatives are strict, we show that Maskin monotonicity (Maskin, 1999) is both necessary and su¢ cient for a social choi...

In this paper we describe work in progress that aims to develop a domain-independent tool set which supports the creation and analysis of domain descriptions and plans containing continuously changing processes, instantaneous events, and actions. The tools described are (i) a life history editor that enables a designer to create a domain description diagrammatically, automatically generating mu...

In this paper, we present the modelling of a domain of argumentation-based negotiation with scarce resources so that Hierarchical Task Network planning can be used for finding appropriate strategies for the negotiating agents. In our modelling, the agents justify their positions on interactions throughout the course of a negotiation episode, and such justifications are taken into account in fut...

Adoption or rejection of ideas, products, and technologies in a society is often governed by simultaneous propagation of positive and negative influences. Consider a planner trying to introduce an idea in different parts of a society at different times. How should the planner design a schedule considering this fact that positive reaction to the idea in early areas has a positive impact on proba...