Communicating sequential processes
Communicating sequential processes
Artificial Intelligence
Abstract argumentation systems
Artificial Intelligence
A dynamic self-stabilizing algorithm for finding strongly connected components
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Extending abstract argumentation systems theory
Artificial Intelligence
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
A self-stabilizing algorithm for coloring planar graphs
Distributed Computing - Special issue: Self-stabilization
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Hi-index | 0.02 |