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