12 records found
1
A resource logic for multi-agent plan merging
Plan coordination by revision in collective agent based systems
Cooperative heuristic multi-agent planning
An approximation algorithm for a logistic planning problem
A plan fusion algorithm for multi-agent systems
Muti-agent cooperation in a planning framework
Cooperation by iterated plan revision
A dynamic systems framework for multi-agent experiments
Editorship
Automated theorem proving for the KARO-architecture