Add to ORKGAgent-Oriented Programming (AOP) is a relatively new paradigm used for de-veloping multi-agent systems. Within this paradigm agents are often described using the Belief-Desire-Intention model (BDI). This report focuses on developing a system for verification of programs written in Jason, which is a Java-based interpreter for an extended version of the language AgentSpeak. AgentSpeak is build around the BDI model and is a high level programming language for developing intelligent agents. This is done with concepts like beliefs, goals and plans. When describing the properties to be verified we use an extension of the branching-time temporal logic CTL (Computation Tree Logic) which makes it possible to reason about BDI properties over time. A ...
This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Age...
In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Int...
Agent-oriented programming (AOP) is a programming paradigm introduced roughly thirty years ago as an...
In this paper, we show that the flexible model-checking of multi-agent systems, implemented using ag...
In this paper, we introduce a prototype compiler for the Agent-based Programming Language (APL) usin...
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We...
Abstract This paper gives an overview of our recent work on an approach to verifying multi-agent pro...
In general, Computer Science agent platforms maintain a simple agent model. In contrast, Artificial ...
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L)...
Agent-Oriented Programming (AOP) is a relatively new programming paradigm introduced by Yoav Shoham ...
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Brat...
Perhaps the most successful agent architectures, and certainly the best known, are those based on t...
Perhaps the most successful agent architectures, and certainly the best known, are those based on th...
We present MABLE, a fully implemented programming language for multiagent systems, which is intended...
Abstract. Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both ...
This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Age...
In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Int...
Agent-oriented programming (AOP) is a programming paradigm introduced roughly thirty years ago as an...
In this paper, we show that the flexible model-checking of multi-agent systems, implemented using ag...
In this paper, we introduce a prototype compiler for the Agent-based Programming Language (APL) usin...
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We...
Abstract This paper gives an overview of our recent work on an approach to verifying multi-agent pro...
In general, Computer Science agent platforms maintain a simple agent model. In contrast, Artificial ...
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L)...
Agent-Oriented Programming (AOP) is a relatively new programming paradigm introduced by Yoav Shoham ...
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Brat...
Perhaps the most successful agent architectures, and certainly the best known, are those based on t...
Perhaps the most successful agent architectures, and certainly the best known, are those based on th...
We present MABLE, a fully implemented programming language for multiagent systems, which is intended...
Abstract. Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both ...
This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Age...
In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Int...
Agent-oriented programming (AOP) is a programming paradigm introduced roughly thirty years ago as an...