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