Topic · Logic, Reasoning, and Knowledge
Most cited papers in Logic, Reasoning, and Knowledge
What are the most cited papers in Logic, Reasoning, and Knowledge?
The most cited paper in Logic, Reasoning, and Knowledge is "Intelligent agents: theory and practice" (Michael Wooldridge, Nicholas R. Jennings, 1995), with 6,753 citations. Next come "The Byzantine Generals Problem" (6,065) and "Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches" (5,599).
Showing 50 of 99 papers. Every paper with more than 1,101 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Intelligent agents: theory and practice Michael Wooldridge, Nicholas R. Jennings · The Knowledge Engineering Review | Jun 1995 | 6,753 |
| 2 | The Byzantine Generals Problem Leslie Lamport, Robert E. Shostak, Marshall C. Pease · ACM Transactions on Programming Languages and Systems | Jul 1982 | 6,065 |
| 3 | Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches Agnar Aamodt, Enric Plaza · AI Communications | 1994 | 5,599 |
| 4 | On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Phan Minh Dũng · Artificial Intelligence | Sep 1995 | 4,320 |
| 5 | Planning and acting in partially observable stochastic domains Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra · Artificial Intelligence | May 1998 | 4,230 |
| 6 | Linear logic Jean-Yves Girard · Theoretical Computer Science | 1987 | 4,129 |
| 7 | Strips: A new approach to the application of theorem proving to problem solving Richard E. Fikes, Nils J. Nilsson · Artificial Intelligence | Dec 1971 | 4,105 |
| 8 | Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems Steffen Lilholt Lauritzen, David J. Spiegelhalter · Journal of the Royal Statistical Society Series B (Statistical Methodology) | 1988 | 3,984 |
| 9 | A logic for default reasoning Raymond Reiter · Artificial Intelligence | Apr 1980 | 3,937 |
| 10 | A Machine-Oriented Logic Based on the Resolution Principle John A. Robinson · Journal of the ACM | 1965 | 3,931 |
| 11 | Reasoning about knowledge Joseph Halpern · Mathematical Social Sciences | Dec 1994 | 3,587 |
| 12 | Some Philosophical Problems from the Standpoint of Artificial Intelligence John McCarthy, Patrick J. Hayes · Elsevier eBooks | 1981 | 3,307 |
| 13 | Fuzzy logic = computing with words Lotfi A. Zadeh · IEEE Transactions on Fuzzy Systems | May 1996 | 3,246 |
| 14 | A machine program for theorem-proving Martin D. Davis, George W. Logemann, Donald W. Loveland · Communications of the ACM | Jul 1962 | 3,234 |
| 15 | A theory of diagnosis from first principles Raymond Reiter · Artificial Intelligence | Apr 1987 | 2,930 |
| 16 | Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions Mark A. Satterthwaite · Journal of Economic Theory | Apr 1975 | 2,884 |
| 17 | A Computing Procedure for Quantification Theory Martin D. Davis, Hilary Putnam · Journal of the ACM | Jul 1960 | 2,643 |
| 18 | Pellet: A practical OWL-DL reasoner Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics | 9 Apr 2007 | 2,642 |
| 19 | Towards a general theory of action and time James F. Allen · Artificial Intelligence | Jul 1984 | 2,576 |
| 20 | The knowledge level Allen Newell · Artificial Intelligence | 1982 | 2,505 |
| 21 | SOAR: An architecture for general intelligence John E. Laird, Allen Newell, Paul S. Rosenbloom · Artificial Intelligence | Sep 1987 | 2,427 |
| 22 | Classical negation in logic programs and disjunctive databases Michael Gelfond, Vladimir Lifschitz · New Generation Computing | Aug 1991 | 2,314 |
| 23 | Is It an agent, or just a program?: A taxonomy for autonomous agents Stan Franklin, Art C. Graesser · Lecture notes in computer science | 1997 | 2,264 |
| 24 | A theory of type polymorphism in programming Robin Milner · Journal of Computer and System Sciences | Dec 1978 | 2,221 |
| 25 | The transferable belief model Philippe Smets, Robert Kennes · Artificial Intelligence | Apr 1994 | 2,214 |
| 26 | Fusion, propagation, and structuring in belief networks Judea Pearl · Artificial Intelligence | Sep 1986 | 2,166 |
| 27 | Relativized minimality M. Rita Manzini · Lingua | Sep 1991 | 2,079 |
| 28 | Negation as Failure Keith Clark | 1978 | 2,035 |
| 29 | Circumscription—A form of non-monotonic reasoning John McCarthy · Artificial Intelligence | Apr 1980 | 2,034 |
| 30 | Qualitative process theory Kenneth D. Forbus · Artificial Intelligence | Dec 1984 | 2,024 |
| 31 | A Structural Approach to Operational Semantics Gordon D. Plotkin | 2004 | 1,983 |
| 32 | Semantics of context-free languages Donald E. Knuth · Theory of Computing Systems | Jun 1968 | 1,969 |
| 33 | CYC Douglas B. Lenat · Communications of the ACM | Nov 1995 | 1,966 |
| 34 | Generalized quantifiers and natural language Jon Barwise, Robin Cooper · Linguistics and Philosophy | 1981 | 1,930 |
| 35 | Intention is choice with commitment Philip R. Cohen, Hector J. Levesque · Artificial Intelligence | Mar 1990 | 1,867 |
| 36 | A computational approach to fuzzy quantifiers in natural languages Lotfi A. Zadeh · Computers & Mathematics with Applications | 1983 | 1,830 |
| 37 | Results on the propositional μ-calculus Dexter C. Kozen · Theoretical Computer Science | 1983 | 1,825 |
| 38 | The Semantic Web Revisited Nigel Shadbolt, Tim Berners‐Lee, Wendy Hall · IEEE Intelligent Systems | May 2006 | 1,817 |
| 39 | The complexity of satisfiability problems Thomas J. Schaefer | 1978 | 1,769 |
| 40 | An assumption-based TMS Johan de Kleer · Artificial Intelligence | Mar 1986 | 1,746 |
| 41 | PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains Maria Fox, Derek Long · Journal of Artificial Intelligence Research | Dec 2003 | 1,740 |
| 42 | Notions of computation and monads Eugenio Moggi · Information and Computation | Jul 1991 | 1,716 |
| 43 | A calculus of mobile processes, II Robin Milner, Joachim Parrow, David S. Walker · Information and Computation | Sep 1992 | 1,703 |
| 44 | The well-founded semantics for general logic programs Allen Van Gelder, Kenneth Andrew Ross, John Stewart Schlipf · Journal of the ACM | Jul 1991 | 1,682 |
| 45 | Plans and situated actions: The problem of human-machine communication Philip E. Agre · Artificial Intelligence | Jun 1990 | 1,681 |
| 46 | Nonmonotonic reasoning, preferential models and cumulative logics Sarit Kraus, Daniel J. Lehmann, Menachem Magidor · Artificial Intelligence | Jul 1990 | 1,680 |
| 47 | On agent-based software engineering Nicholas R. Jennings · Artificial Intelligence | Mar 2000 | 1,637 |
| 48 | An overview of the KL-ONE Knowledge Representation System R. J. Brachman, James G. Schmolze · Cognitive Science | Jun 1985 | 1,623 |
| 49 | Constraint logic programming Joxan Jaffar, J.-L. Lassez | 1987 | 1,613 |
| 50 | Vagueness, truth and logic Kit Fine · Synthese | 1975 | 1,600 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.