The Canon · Computer Science

The most-cited papers in Logic in Computer Science cs.LO

Ranked by citation count from Semantic Scholar; papers count in their primary category only. The top 250, fifty to a page. For papers whose citations only just took off, see the sleepers.

Provisional: built from 480,031 of about 3.2 million arXiv papers with fresh Semantic Scholar citation counts so far (most-cited first), so some classics are still missing. Counts as of 15 November 2026.

More archives

Retired archives

Computer Science by category

8 more categories

Showing 1–50 of the top 250 · 2,031 papers in cs.LO counted so far

The most-cited papers in cs.LO, ranked by Semantic Scholar citations
Rank#	Paper	Year	Citations	Influential	Per year
1	Safe Reinforcement Learning via Shielding Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers +3 more 20171,101 citations, 110 a year	2017	1,101	81	110
2	Extending and Implementing the Stable Model Semantics Patrik Simons 20001,016 citations, 38 a year	2000	1,016	130	38
3	Stable models and an alternative logic programming paradigm Victor W. Marek, Miroslaw Truszczynski 1998885 citations, 30 a year	1998	885	72	30
4	Interval Neutrosophic Sets and Logic: Theory and Applications in Computing Haibin Wang, Florentin Smarandache, Yan-Qing Zhang +1 more 2005744 citations, 34 a year	2005	744	83	34
5	Practical Reasoning for Expressive Description Logics Ian Horrocks, Ulrike Sattler, Stephan Tobies 2000647 citations, 24 a year	2000	647	48	24
6	The DL-Lite Family and Relations Alessandro Artale, Diego Calvanese, Roman Kontchakov +1 more 2014617 citations, 48 a year	2014	617	75	48
7	Statistical Model Checking : An Overview Axel Legay, Benoit Delahaye 2010502 citations, 30 a year	2010	502	34	30
8	Games and Full Completeness for Multiplicative Linear Logic Samson Abramsky, Radha Jagadeesan 2013490 citations, 35 a year	2013	490	45	35
9	Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints Andrea Cali, Georg Gottlob, Michael Kifer 2012485 citations, 32 a year	2012	485	47	32
10	The Lean mathematical library The mathlib Community 2019476 citations, 60 a year	2019	476	39	60
11	Hypertableau Reasoning for Description Logics Boris Motik, Rob Shearer, Ian Horrocks 2014467 citations, 36 a year	2014	467	51	36
12	Complexity Results and Practical Algorithms for Logics in Knowledge Representation Stephan Tobies 2001437 citations, 17 a year	2001	437	72	17
13	Practical Reasoning for Very Expressive Description Logics Ian Horrocks, Ulrike Sattler, Stephan Tobies 2000426 citations, 16 a year	2000	426	32	16
14	Isabelle: The Next 700 Theorem Provers Lawrence C. Paulson 1993425 citations, 12 a year	1993	425	36	12
15	A Theory of Sampling for Continuous-time Metric Temporal Logic Carlo A. Furia, Matteo Rossi 2009390 citations, 22 a year	2009	390	53	22
16	Cubical Type Theory: a constructive interpretation of the univalence axiom Cyril Cohen, Thierry Coquand, Simon Huber +1 more 2016387 citations, 35 a year	2016	387	58	35
17	Representation results for defeasible logic G. Antoniou, D. Billington, G. Governatori +1 more 2000383 citations, 14 a year	2000	383	17	14
18	Reasoning with Individuals for the Description Logic SHIQ Ian Horrock, Ulrike Sattler, Stephan Tobies 2000337 citations, 12 a year	2000	337	34	12
19	From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata Nir Piterman 2007332 citations, 17 a year	2007	332	36	17
20	LTL with the Freeze Quantifier and Register Automata Stephane Demri, Ranko Lazic 2006329 citations, 16 a year	2006	329	40	16
21	Dependence and Independence Erich Grädel, Jouko Väänänen 2012268 citations, 18 a year	2012	268	36	18
22	A System of Interaction and Structure Alessio Guglielmi 1999267 citations, 10 a year	1999	267	34	10
23	Solving QBF with Counterexample Guided Refinement Mikoláš Janota, William Klieber, Joao Marques-Silva +1 more 2026259 citations, 259 a year	2026	259	42	259
24	Algorithms for Omega-Regular Games with Imperfect Information Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger +1 more 2007258 citations, 13 a year	2007	258	14	13
25	Linear Encodings of Bounded LTL Model Checking Armin Biere, Keijo Heljanko, Tommi Junttila +2 more 2006258 citations, 12 a year	2006	258	26	12
26	Deciding first-order properties of nowhere dense graphs Martin Grohe, Stephan Kreutzer, Sebastian Siebertz 2013250 citations, 18 a year	2013	250	30	18
27	A lambda calculus for quantum computation with classical control Peter Selinger, Benoit Valiron 2004241 citations, 10 a year	2004	241	16	10
28	Multi-Objective Model Checking of Markov Decision Processes Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi +1 more 2008237 citations, 12 a year	2008	237	30	12
29	Generic Trace Semantics via Coinduction Ichiro Hasuo, Bart Jacobs, Ana Sokolova 2007232 citations, 12 a year	2007	232	37	12
30	Using First-Order Logic to Reason about Policies Joseph Y. Halpern, Vicky Weissman 2006226 citations, 11 a year	2006	226	18	11
31	Handling Algebraic Effects Gordon D Plotkin, Matija Pretnar 2013221 citations, 16 a year	2013	221	19	16
32	Clausal Temporal Resolution Michael Fisher, Clare Dixon, Martin Peim 1999220 citations, 8 a year	1999	220	17	8
33	Delta-Complete Decision Procedures for Satisfiability over the Reals Sicun Gao, Jeremy Avigad, Edmund Clarke 2012218 citations, 14 a year	2012	218	9	14
34	Better Quality in Synthesis through Quantitative Objectives Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger +1 more 2009212 citations, 12 a year	2009	212	9	12
35	MSO definable string transductions and two-way finite state transducers Joost Engelfriet, Hendrik Jan Hoogeboom 1999204 citations, 7 a year	1999	204	24	7
36	Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi Catuscia Palamidessi 2013203 citations, 14 a year	2013	203	20	14
37	Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang, Jia Deng 2019196 citations, 24 a year	2019	196	27	24
38	Model Checking Probabilistic Pushdown Automata Javier Esparza, Antonin Kucera, Richard Mayr 2005195 citations, 9 a year	2005	195	18	9
39	Complete Axiomatizations for Reasoning About Knowledge and Time Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi 2002189 citations, 8 a year	2002	189	21	8
40	A Scalable Approximate Model Counter Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi 2013181 citations, 13 a year	2013	181	16	13
41	Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach Daowen Qiu 2006181 citations, 9 a year	2006	181	14	9
42	Energy Parity Games Krishnendu Chatterjee, Laurent Doyen 2010180 citations, 11 a year	2010	180	23	11
43	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate +3 more 2019180 citations, 22 a year	2019	180	13	22
44	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer +1 more 2012176 citations, 12 a year	2012	176	21	12
45	Omega-Regular Objectives in Model-Free Reinforcement Learning Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3 more 2018172 citations, 19 a year	2018	172	12	19
46	General Recursion via Coinductive Types Venanzio Capretta 2005169 citations, 8 a year	2005	169	16	8
47	Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics Carsten Lutz, Frank Wolter 2011168 citations, 10 a year	2011	168	18	10
48	Reasoning About Strategies: On the Model-Checking Problem Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1 more 2011168 citations, 10 a year	2011	168	10	10
49	Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem Libor Barto, Marcin Kozik 2012163 citations, 11 a year	2012	163	27	11
50	UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4 more 2012162 citations, 11 a year	2012	162	17	11

Citation data from Semantic Scholar, via the Semantic Scholar Academic Graph API.