Skip to search formSkip to main contentSkip to account menu

AgentSpeak

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

Related topics

Related topics

12 relations
Agent-oriented programmingAutonomous agentBelief–desire–intention software modelCognitive architecture

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents… 
2009
2009
Programming Verifiable Heterogeneous Agent Systems
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be… 
2005
2005
Activity-Based Analysis of Travel Demand Using Cognitive Agents
2005
2005
An AgentSpeak Meta-interpreter and Its Applications
A meta-interpreter for a language can provide an easy way of experimenting with modifications or extensions to a language. We… 
Highly Cited
2004
Highly Cited
2004
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and… 
2003
2003
Agent-Based Support for Mobile Users Using AgentSpeak(L)
This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of… 
2002
2002
ViP: a visual programming language for plan execution systems
A strength of agent architectures such as PRS and dMARS, which are based on stored plan execution, is that their plan languages… 
2002
2002
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids
Managing resources in large scale distributed systems --- "Computational Grids", is a complex and time sensitive process. The… 
2001
2001
Logical Foundations of Agent-Based Computing
Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice… 
2000
2000
Vivid agents: Theory, architecture, and applications
Vivid agents (Wagner, 1996) are software-controlled systems whose state comprises the mental components of knowledge, perceptions… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)