Title: Logic for programming, artificial intelligence, and reasoning
Subjects: Logic programming, Congresses, Artificial intelligence, Automatic theorem proving, Logic design, Software engineering, Computer science