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 .

Home / Opinion / Views / ...

Solomon Feferman, Systems of Predicative Analysis, II: Representations of Ordinals, The Journal of Symbolic Logic, Vol. 33, No. 2 (Jun., 1968), pp. 193-220 ...

The Logic Theorist was a breakthrough, says Babintseva, because it was the first program in symbolic AI, which uses symbols or concepts, rather than data, to train AI to think like a person.

Eric Rosen, Modal Logic over Finite Structures, Journal of Logic, Language, and Information, Vol. 6, No. 4, Special Issue on Modal Logic and Dynamics (Oct., 1997), pp. 427-439 Free online reading for ...

In their 2024 Impact Radar, they stated that knowledge graphs—a symbolic AI technology of the past—are the critical enabler for generative AI. Moving From Generation To Logical Reasoning ...