Conference
4.2K
Publications
73.6K
Citations
Top concepts
Computer ScienceComputingKnowledge RepresentationArtificial IntelligenceMachine LearningNatural Language ProcessingAlgorithmsAutomated ReasoningEngineeringDeductive Reasoning
Publications per year
1972–2021
4.2K
4.2K
J. R. Quinlan · 1996 · 1.3K citations
Reactive reasoning and planning
Michael Georgeff, Amy Lansky · 1987 · 882 citations
Pengi: an implementation of a theory of activity
Philip E. Agre, David Chapman · 1987 · 877 citations
Hard and easy distributions of SAT problems
David G. M. Mitchell, Bart Selman, Hector J. Levesque · 1992 · 807 citations
1–5 of 4.2K