Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,828,415 papers from all fields of science
Search
Sign In
Create Free Account
AgentSpeak
AgentSpeak is an agent-oriented programming language. It is based on logic programming and the BDI architecture for (cognitive) autonomous agents…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Agent-oriented programming
Autonomous agent
Belief–desire–intention software model
Cognitive architecture
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Programming Verifiable Heterogeneous Agent Systems
Louise Dennis
,
Michael Fisher
International Workshop on Programming Multi-Agent…
2009
Corpus ID: 3403022
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be…
Expand
Review
2006
Review
2006
JASON Java-based AgentSpeak interpreter used with saci for multi-agent distribution over the net
C. Bergmann
,
M. Ilic
2006
Corpus ID: 16092048
In this survey paper we present Jason, an interpreter for the AgentSpeak programming language. Our aim is to investigate the…
Expand
2006
2006
Belief revision for AgentSpeak agents
N. Alechina
,
Rafael Heitor Bordini
,
J. Hübner
,
M. Jago
,
B. Logan
Adaptive Agents and Multi-Agent Systems
2006
Corpus ID: 5556096
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act…
Expand
2006
2006
Dynamic Control of Intention Priorities of Human-Like Agents
Huiliang Zhang
,
Shell-Ying Huang
European Conference on Artificial Intelligence
2006
Corpus ID: 16765329
Intention scheduling mechanism plays a critical role in the correct behaviour of BDI agents. For human-like agents, the…
Expand
2005
2005
Model Checking Multi-Agent Systems
M. Bourahla
,
M. Benmohamed
Informatica
2005
Corpus ID: 1193798
quiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can…
Expand
2005
2005
Subgoal Semantics in Agent Programming
M. Riemsdijk
,
M. Dastani
,
J. Meyer
Portuguese Conference on Artificial Intelligence
2005
Corpus ID: 18852930
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form an…
Expand
2004
2004
Ambient Intelligence Through Agile Agents
Gregory M. P. O'Hare
,
M. O'Grady
,
+4 authors
D. Marsh
Ambient Intelligence for Scientific Discovery
2004
Corpus ID: 15194586
The vision of ambient intelligence is one where the populas is supported in the conductance of their everyday lives through the…
Expand
2002
2002
ViP: a visual programming language for plan execution systems
D. Kinny
Adaptive Agents and Multi-Agent Systems
2002
Corpus ID: 9078713
A strength of agent architectures such as PRS and dMARS, which are based on stored plan execution, is that their plan languages…
Expand
2001
2001
Logical Foundations of Agent-Based Computing
W. Hoek
European Agent Systems Summer School
2001
Corpus ID: 206630649
Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice…
Expand
2000
2000
Vivid agents: Theory, architecture, and applications
Michael Schroeder
,
Gerd Wagner
Applied Artificial Intelligence
2000
Corpus ID: 7083994
Vivid agents (Wagner, 1996) are software-controlled systems whose state comprises the mental components of knowledge, perceptions…
Expand
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)
ACCEPT & CONTINUE