Title: Logic for Programming Artificial Intelligence and Reasoning
            
                Lecture Notes in Artificial Intelligence
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Logic programming, Congresses, Automatic theorem proving