Reliable agent computation: An algebraic approach

DOI10.1007/3-540-44637-0_3MaRDI QIDQ4423028zbMATH OpenFDO

Authors David Kinny

Publication date 24 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2132/21320031.htm

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2088148
• Algebraic specification of agent computation
• A programming logic for part of the agent language 3APL
• Heterogeneous active agents, II: Algorithms and complexity
• Engineering AgentSpeak(L): a formal computational model

Cited in

(8)

• An agent calculus with simple actions where the enabling and disabling are derived operators
• Heterogeneous active agents, II: Algorithms and complexity
• An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
• On the correctness of PRS agent programs
• scientific article; zbMATH DE number 2088148 (Why is no real title available?)
• scientific article; zbMATH DE number 2243630 (Why is no real title available?)
• Algebras for agent norm-regulation
• Algebraic specification of agent computation

Describes a project that uses

Uses Software

• ConGolog
• AgentSpeak

This page was built for publication: Reliable agent computation: An algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4423028)