David Scott Warren

Cited by

	All	Since 2019
Citations	8614	740
h-index	46	15
i10-index	98	23

420

210

105

315

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 53 78 125 154 205 235 262 265 347 301 296 293 257 244 253 256 198 225 193 276 257 410 296 268 238 194 263 213 181 175 203 144 177 162 108 144 131 118 77

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerified email at cs.stonybrook.edu
Juliana FreireNew York UniversityVerified email at nyu.edu
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Michael KiferStony Brook UniversityVerified email at cs.stonybrook.edu
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Prasad RaoResearch Scientist, LinkedInVerified email at linkedin.com
David MaierProfessor of Computer Science, Portland State UniversityVerified email at cs.pdx.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Jianfu ChenFacebook, Inc.Verified email at fb.com
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Arie KaufmanDistinguished Professor and Chair of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Krishnaprasad ThirunarayanProfessor of Computer Science and Engineering, Kno.e.sis CenterVerified email at wright.edu
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Laxmikant KaleProfessor or Computer Science, University of IllinoisVerified email at illinois.edu
Yejin ChoiUniversity of Washington / Allen Institute for Artificial IntelligenceVerified email at cs.washington.edu
Spyros HadjichristodoulouResearch Assistant, Stony Brook UniversityVerified email at cs.stonybrook.edu

David Scott Warren

Emeritus Professor of Computer Science, Stony Brook University

Verified email at cs.stonybrook.edu

Programming Languages Knowledge Representation Database Systems Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Tabled evaluation with delaying for general logic programs W Chen, DS Warren Journal of the ACM (JACM) 43 (1), 20-74, 1996	629	1996
XSB as an efficient deductive database engine K Sagonas, T Swift, DS Warren ACM SIGMOD Record 23 (2), 442-453, 1994	580	1994
HiLog: A foundation for higher-order logic programming W Chen, M Kifer, DS Warren The Journal of Logic Programming 15 (3), 187-230, 1993	542	1993
Formal semantics for time in databases J Clifford, DS Warren ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983	371	1983
Memoing for logic programs DS Warren Communications of the ACM 35 (3), 93-111, 1992	319	1992
Automatic mode inference for logic programs SK Debray, DS Warren The Journal of Logic Programming 5 (3), 207-229, 1988	305	1988
Computing with logic: logic programming with Prolog D Maier, DS Warren Benjamin-Cummings Publishing Co., Inc., 1988	305	1988
Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	300	1997
XSB: Extending Prolog with tabled logic programming T Swift, DS Warren Theory and Practice of Logic Programming 12 (1-2), 157-187, 2012	252	2012
Extension Tables: Memo Relations in Logic Programming. SW Dietrich Unknown Host Publication Title, 264-272, 1987	213	1987
XSB: A system for efficiently computing well-founded semantics P Rao, K Sagonas, T Swift, DS Warren, J Freire Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997	206	1997
C-logic of Complex Objects W Chen, DS Warren Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	194	1989
Efficient top-down computation of queries under the well-founded semantics W Chen, T Swift, DS Warren The Journal of logic programming 24 (3), 161-199, 1995	189	1995
Practical program analysis using general purpose logic programming systems—a case study S Dawson, CR Ramakrishnan, DS Warren Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996	153	1996
A logic-based language for database updates S Manchanda, DS Warren Foundations of deductive databases and logic programming, 363-394, 1988	151	1988
Query evaluation under the well-founded semantics W Chen, DS Warren Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993	144	1993
Efficient access mechanisms for tabled logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren The Journal of Logic Programming 38 (1), 31-54, 1999	133*	1999
A first-order semantics for higher-order logic programming constructs W Chen Proc. North American Conference on Logic Programming, Cleveland, Ohio, 1989	130	1989
Efficient Prolog memory management for flexible control strategies DS Warren New Generation Computing 2, 361-369, 1984	109	1984
A goal-oriented approach to computing the well-founded semantics W Chen, DS Warren The Journal of Logic Programming 17 (2-4), 279-300, 1993	106	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors