World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
7718
World Ranking
7992
National Ranking
3437

Research.com Recognitions

  • 2000 - ACM Fellow David Warren is a world leader in logic-programming research, past-president of the Association for Logic Programming, and implementor of the SBProlog and XSB systems.

Overview

David S. Warren is affiliated with Stony Brook University in the United States and has contributed extensively to the fields of Computer Science and Health Professions. Their research spans several subfields, including Artificial Intelligence, Computational Theory and Mathematics, Philosophy, and Computer Networks and Communications.

The main topics addressed in their work include:

  • Logic, Reasoning, and Knowledge
  • Logic, Programming, and Type Systems
  • Hermeneutics and Narrative Identity
  • Aging, Elder Care, and Social Issues
  • Health, Medicine and Society
  • Formal Methods in Verification
  • AI-based Problem Solving and Planning

David S. Warren has authored scientific articles published mainly in the following venues:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Electronic Proceedings in Theoretical Computer Science
  • Theory and Practice of Logic Programming

Recent papers include:

  • "LPOP: Challenges and Advances in Logic and Practice of Programming" (2020), arXiv (Cornell University)
  • "Proceedings 37th International Conference on Logic Programming (Technical Communications)" (2021), Electronic Proceedings in Theoretical Computer Science
  • "Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)" (2022), arXiv (Cornell University)
  • "The Logic of Logic Programming" (2023), arXiv (Cornell University)
  • "OKX Wallet Extension" (2023), Zenodo (CERN European Organization for Nuclear Research)

They have coauthored works with several researchers, including:

  • Yanhong A. Liu
  • Marc Denecker
  • Verónica Dahl
  • Thomas Eiter
  • Manuel V. Hermenegildo

David S. Warren is also an author of a book published by Springer Science+Business Media titled Prolog: The Next 50 Years (2023).

A notable recognition includes receiving the ACM Fellow award in 2000 for contributions in logic-programming research, serving as past-president of the Association for Logic Programming, and implementing the SBProlog and XSB systems.

Best Publications

  • Tabled evaluation with delaying for general logic programs

    Weidong Chen;David S. Warren

  • XSB as an efficient deductive database engine

    Konstantinos Sagonas;Terrance Swift;David S. Warren

  • HILOG: a foundation for higher-order logic programming

    Weidong Chen;Michael Kifer;David S. Warren

  • Formal semantics for time in databases

    James Clifford;David S. Warren

  • Memoing for logic programs

    David S. Warren

  • Automatic mode inference for logic programs

    Saumya K. Debray;David S. Warren

  • Efficient Model Checking Using Tabled Resolution

    Y. S. Ramakrishna;C. R. Ramakrishnan;I. V. Ramakrishnan;Scott A. Smolka

  • Computing With Logic: Logic Programming With Prolog

    David Maier;David S. Warren

  • Computing with logic

    D. Maier;D. Warren

  • Xsb: Extending prolog with tabled logic programming

    Terrance Swift;David s. Warren

  • Efficient top-down computation of queries under the well-founded semantics

    Weidong Chen;Terrance Swift;David Scott Warren

  • C-logic of complex objects

    W. Chen;D. S. Warren

  • XSB: A System for Effciently Computing WFS

    Prasad Rao;Konstantinos F. Sagonas;Terrance Swift;David Scott Warren

  • Query evaluation under the well-founded semantics

    Weidong Chen;David S. Warren

  • A logic-based language for database updates

    S. Manchanda;D. S. Warren

  • Practical program analysis using general purpose logic programming systems—a case study

    Steven Dawson;C. R. Ramakrishnan;David S. Warren

  • Efficient access mechanisms for tabled logic programs

    I. V. Ramakrishnan;Prasad Rao;Konstantinos F. Sagonas;Terrance Swift

  • HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

    Weidong Chen;Michael Kifer;David Scott Warren

  • Efficient Prolog memory management for flexible control strategies

    David Scott Warren

  • Efficient Tabling Mechanisms for Logic Programs.

    I. V. Ramakrishnan;Prasad Rao;Konstantinos F. Sagonas;Terrance Swift

Frequent Co-Authors

I. V. Ramakrishnan
I. V. Ramakrishnan Stony Brook University
Juliana Freire
Juliana Freire New York University
Michael Kifer
Michael Kifer Stony Brook University
David Maier
David Maier Portland State University
Saumya K. Debray
Saumya K. Debray University of Arizona
Scott A. Smolka
Scott A. Smolka Stony Brook University
Laxmikant V. Kale
Laxmikant V. Kale University of Illinois at Urbana-Champaign
Paul Hudak
Paul Hudak Yale University
Arie E. Kaufman
Arie E. Kaufman Stony Brook University
Yejin Choi
Yejin Choi Stanford University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science opens doors to a wide array of related online degrees and career options. Many students consider a data science degree, which blends computing, statistics, and business insight for high-demand roles in technology and analytics.

For those interested in hardware and innovation, pursuing an electrical engineering degree online admissions process offers flexible pathways to enter this dynamic field, often allowing you to study while working.

If you want to quickly boost your job prospects, consider easy certifications to get that offer specialized technical skills and solid earning potential, often with minimal time commitment.

Additionally, those focused on advancing their education rapidly may be interested in the fastest online master's degree programs—ideal for upskilling, qualifying for leadership roles, or switching careers efficiently.

Best Scientists Citing David S. Warren

Trending Scientists

Recently Published Articles