AgentSpeak

AgentSpeak is an agent-oriented programming language. It is based on logic programming and the BDI architecture for (cognitive) autonomous agents…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

Intelligent agent technology has evolved rapidly over the past few years along with the growing number of agent systems in…

2009

Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be…

2008

We study a logical property that concerns the preservation of future directed obligations that have not been fulfilled yet. We…

2007

This paper deals with the design of multi-agent systems. We demonstrate the goal-oriented agent model called Goal Decomposition…

2006

The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based…

2005

quiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can…

2005

This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form an…

2005

2002

A strength of agent architectures such as PRS and dMARS, which are based on stored plan execution, is that their plan languages…

2002

In research on agents, besides architectures, the areas of agent theories and agent programming languages are distinguished…