The graph below shows the total number of publications each year in Knowledge Representation and Reasoning in Logic Programming. References [1] Forgetting auxiliary atoms in forks .

The evolution of computer science from mathematical logic culminated in the 1930s, with two landmark papers: Claude Shannon’s “A Symbolic Analysis of Switching and Relay Circuits,” and Alan ...