Algebraic specification of agent computation

DOI10.1007/S00200-005-0172-1MaRDI QIDQ814896zbMATH OpenOpenAlexFDO

Authors David Kinny

Publication date 8 February 2006

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-005-0172-1

zbMATH Keywords

\(\Psi\)-calculus

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2088148
• scientific article; zbMATH DE number 1969725
• scientific article; zbMATH DE number 1759744
• Logic-based specification languages for intelligent software agents
• A conceptual framework for agent definition and development

Cites work

• scientific article; zbMATH DE number 4174345 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1969725 (Why is no real title available?)
• scientific article; zbMATH DE number 2088148 (Why is no real title available?)
• scientific article; zbMATH DE number 2102773 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• Bisimulation can't be traced
• Conditional rewriting logic as a unified model of concurrency
• Generative communication in Linda
• Higher-level synchronising devices in Meije-SCCS
• The chemical abstract machine

Cited in

(12)

• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• scientific article; zbMATH DE number 1969725 (Why is no real title available?)
• Algebras for agent norm-regulation
• scientific article; zbMATH DE number 2209367 (Why is no real title available?)
• scientific article; zbMATH DE number 1759734 (Why is no real title available?)
• An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
• scientific article; zbMATH DE number 5181786 (Why is no real title available?)
• scientific article; zbMATH DE number 1759744 (Why is no real title available?)
• Algebra of behavior transformations and its applications
• scientific article; zbMATH DE number 2088148 (Why is no real title available?)
• scientific article; zbMATH DE number 1759751 (Why is no real title available?)
• scientific article; zbMATH DE number 2087361 (Why is no real title available?)

Describes a project that uses

Uses Software

• Linda
• AgentSpeak

This page was built for publication: Algebraic specification of agent computation

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