The Workshop on Logic-Based Artificial Intelligence