Vredeveld, T.

agent transaction problem request state solution value agent i algorithm agenti multi-agent system constraint not-yet-feasible section state not-yet-feasible action agent j amount human-like behavior system problem p resource knowledge figure reply lemma request part region termination change statei multi-agent number step p 1c step p 1d termination detection computer science proof behavior distance step i 1 agentj round base algorithm notice i ∈ si infeasible nbound j minj decrease theorem semi-invariant paper i 2 si arti ficial intelligence mini max i j ≤ minj division human-like moment conclusion process sum constraint fi rst computation university agents j reply part programming reji j maxj g variables reji j maxi i 2. ci t xi property i 2 fmini science subproblems share 0 i 4. moment j minj