Title: Logic Programming
Subjects: Logic design, Computer science, Artificial intelligence, Logic programming, Congresses