IEEE Transactions on Artificial Intelligence