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