Title: Logic for programming, artificial intelligence, and reasoning
Subjects: Logic programming, Congresses, Artificial intelligence, Automatic theorem proving