Jason is an Open Source interpreter for an extended version of AgentSpeak–a logic-based
agent-oriented programming language–written in JavaTM. It enables users to build complex …

This paper provides a general mechanism and a solid theoretical basis for performing
planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as …

Agents are an important technology that have the potential to take over contemporary
methods for analysing, designing, and implementing complex software. The Belief-Desire …

In the literature on agent systems, the proactive behavior of agents is often modeled in terms
of goals that the agents pursue. We review a number of commonly-used existing goal types …

Agent programming languages have often avoided the use of automated (first principles or
hierarchical) planners in favour of predefined plan/recipe libraries for computational …

A fundamental feature of intelligent agents is their ability to deliberate over their goals.
Operating in an environment that may change in unpredictable ways, an agent needs to …

This work proposes a novel high-level paradigm, agent planning programs, for modeling
agents behavior, which suitably mixes automated planning with agent-oriented …

This paper offers a logical formalisation of an argument-based account of reasoning about
action, taking seriously the abductive nature of this form of reasoning. The particular …

This paper addresses the notion of (declarative) goals as used in agent programming. Goals
describe desirable states, and semantics of these goals in an agent programming context …

We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with
special emphasis on the semantics of goals in the presence of the typical BDI failure …