1. Engineering commitment-based business protocols with the 2CL methodology

   • Matteo Baldoni
   • Cristina Baroglio
   • Federico Capuzzimati

   OriginalPaper 15 August 2013 Pages: 519 - 557

   

2. 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
   • Andrzej Zbrzezny

   OriginalPaper Open access 31 August 2013 Pages: 558 - 604

   

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

   • Jun-young Kwak
   • Pradeep Varakantham
   • Wendy Wood

   OriginalPaper 04 September 2013 Pages: 605 - 636

   

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

   • Matthijs Snel
   • Shimon Whiteson

   OriginalPaper 05 September 2013 Pages: 637 - 681

   

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

   • James Harland
   • David N. Morley
   • Neil Yorke-Smith

   OriginalPaper 02 October 2013 Pages: 682 - 719