Topic
One feed in the directory covers this.
Exploring the Computational Logic Literature
Machine-readable: JSON · all topics