On formal modeling of agent computations

DOI10.1007/3-540-45484-5_4MaRDI QIDQ4536749zbMATH OpenFDO

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

Publication date 15 July 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45484-5_4

Mathematics Subject Classification ID

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

Recommendations

• Understanding agent systems
• Algebraic specification of agent computation
• Formal agent development: Framework to system
• scientific article; zbMATH DE number 2087361
• A formal approach to agent design: An overview of constraint-based agents

Cited in

(15)

• Systems of agents controlled by logical programs: complexity of verification
• On feasible cases of checking multi-agent systems behavior.
• A formal approach to agent design: An overview of constraint-based agents
• On complexity of verification of interacting agents' behavior
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• Applying logic of information flow and situation theory to model agents that simulate the stock market behaviour
• A Formal Semantics for Agent (Re)Organization
• An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• scientific article; zbMATH DE number 1953896 (Why is no real title available?)
• Formal specification of agent behaviour through environment scenarios
• Logical foundations of agent-based computing
• scientific article; zbMATH DE number 2087361 (Why is no real title available?)
• scientific article; zbMATH DE number 2090553 (Why is no real title available?)
• Objects, Agents, and Features

This page was built for publication: On formal modeling of agent computations

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