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