scientific article; zbMATH DE number 1759734

MaRDI QIDQ4536749zbMATHFDO

Authors Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Ken Mano, Nancy Lynch

Publication date 15 July 2002

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1678421
• Algebraic specification of agent computation
• scientific article; zbMATH DE number 1759741
• scientific article; zbMATH DE number 2087361
• A formal approach to agent design: An overview of constraint-based agents

Cited in

(15)

• scientific article; zbMATH DE number 2090553 (Why is no real title available?)
• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• scientific article; zbMATH DE number 1708147 (Why is no real title available?)
• Systems of agents controlled by logical programs: complexity of verification
• scientific article; zbMATH DE number 2087361 (Why is no real title available?)
• scientific article; zbMATH DE number 1759751 (Why is no real title available?)
• scientific article; zbMATH DE number 1773056 (Why is no real title available?)
• An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
• On feasible cases of checking multi-agent systems behavior.
• A Formal Semantics for Agent (Re)Organization
• A formal approach to agent design: An overview of constraint-based agents
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• On complexity of verification of interacting agents' behavior
• scientific article; zbMATH DE number 1953896 (Why is no real title available?)
• Objects, Agents, and Features

This page was built for publication:

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