1387-2532

Autonomous Agents and Multi-Agent Systems (AAMAS) - July 2014, issue 4 论文列表

本期论文列表
Engineering commitment-based business protocols with the 2CL methodology

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

TESLA: an extended study of an energy-saving agent that leverages schedule flexibility

Learning potential functions and their representations for multi-task reinforcement learning

An operational semantics for the goal life-cycle in BDI agents