scientific article; zbMATH DE number 1759734
From MaRDI portal
Publication:4536749
zbMATH Open0988.68721MaRDI QIDQ4536749FDOQ4536749
Kiyoshi Kogure, Victor Luchangco, Paul C. Attie, Nancy Lynch, Ken Mano, Idit Keidar, Tadashi Araragi
Publication date: 15 July 2002
Title of this publication is not available (Why is that?)
Recommendations
Computing methodologies and applications (68U99) Artificial intelligence (68T99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (15)
- On complexity of verification of interacting agents' behavior
- Title not available (Why is that?)
- Objects, Agents, and Features
- Title not available (Why is that?)
- Dynamic input/output automata: a formal and compositional model for dynamic systems
- A formal approach to agent design: An overview of constraint-based agents
- Title not available (Why is that?)
- A Formal Semantics for Agent (Re)Organization
- Systems of agents controlled by logical programs: complexity of verification
- Title not available (Why is that?)
- An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
- Title not available (Why is that?)
- On feasible cases of checking multi-agent systems behavior.
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
