Issue 4/2014
Content (5 Articles)
Engineering commitment-based business protocols with the 2CL methodology
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati
Open Access
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
Artur Mȩski, Wojciech Penczek, Maciej Szreter, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
TESLA: an extended study of an energy-saving agent that leverages schedule flexibility
Jun-young Kwak, Pradeep Varakantham, Rajiv Maheswaran, Yu-Han Chang, Milind Tambe, Burcin Becerik-Gerber, Wendy Wood
Learning potential functions and their representations for multi-task reinforcement learning
Matthijs Snel, Shimon Whiteson
An operational semantics for the goal life-cycle in BDI agents
James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith