H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 36 Citations 7,107 96 World Ranking 5718 National Ranking 2779

Research.com Recognitions

Awards & Achievements

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

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algorithm

David S. Warren mainly investigates Programming language, Prolog, Logic programming, Theoretical computer science and Resolution. His Programming language research is multidisciplinary, incorporating elements of Computability and Constraint logic programming. His study in Prolog is interdisciplinary in nature, drawing from both Deductive database, Semantics and Search engine indexing.

His Logic programming research is multidisciplinary, relying on both Program analysis, Model checking, Negation and Dynamic logic. His Theoretical computer science research integrates issues from Overhead, Inference, Predicate, Semantics and Well-founded semantics. In his work, First-order logic is strongly intertwined with Literal, which is a subfield of Resolution.

His most cited work include:

  • Tabled evaluation with delaying for general logic programs (413 citations)
  • HILOG: a foundation for higher-order logic programming (320 citations)
  • XSB as an efficient deductive database engine (318 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Programming language, Prolog, Logic programming, Theoretical computer science and Artificial intelligence. His work in Semantics, Resolution, Horn clause, Well-founded semantics and HiLog is related to Programming language. His Resolution research includes elements of Query language and Infinite loop.

His work carried out in the field of Prolog brings together such families of science as Search engine indexing, Negation, Computation, Data structure and Component. His Logic programming research incorporates elements of Abstraction and Constraint programming, Concurrent constraint logic programming, Constraint logic programming, Functional logic programming. His research integrates issues of Set, Overhead, Inference and Unification in his study of Theoretical computer science.

He most often published in these fields:

  • Programming language (60.90%)
  • Prolog (40.60%)
  • Logic programming (33.83%)

What were the highlights of his more recent work (between 2008-2020)?

  • Programming language (60.90%)
  • Logic programming (33.83%)
  • Prolog (40.60%)

In recent papers he was focusing on the following fields of study:

His main research concerns Programming language, Logic programming, Prolog, Theoretical computer science and Artificial intelligence. He focuses mostly in the field of Programming language, narrowing it down to matters related to Linux kernel and, in some cases, Search engine indexing and Static analysis. His Logic programming study also includes

  • Functional logic programming that intertwine with fields like Horn clause, Stable model semantics, Computational logic and Constraint logic programming,
  • Scalability which is related to area like Semantics and Abstract interpretation.

The Prolog study combines topics in areas such as Abstraction, Initialization, Relation, Data structure and Component. His research on Theoretical computer science frequently connects to adjacent areas such as Concurrent constraint logic programming. His Artificial intelligence research includes themes of Narrative, Literal and figurative language and Natural language processing.

Between 2008 and 2020, his most popular works were:

  • Xsb: Extending prolog with tabled logic programming (158 citations)
  • Tabling with answer subsumption: implementation, applications and performance (36 citations)
  • Déjà Image-Captions: A Corpus of Expressive Descriptions in Repetition (27 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algorithm

His primary areas of study are Programming language, Logic programming, Prolog, Artificial intelligence and Semantic Web. His study in Programming language focuses on Semantics in particular. Logic programming is closely attributed to Abstract interpretation in his work.

David S. Warren interconnects Literal and figurative language, Repetition and Focus in the investigation of issues within Artificial intelligence. His studies in Semantic Web integrate themes in fields like Program analysis, Mercury and Negation.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Tabled evaluation with delaying for general logic programs

Weidong Chen;David S. Warren.
Journal of the ACM (1996)

606 Citations

XSB as an efficient deductive database engine

Konstantinos Sagonas;Terrance Swift;David S. Warren.
international conference on management of data (1994)

563 Citations

HILOG: a foundation for higher-order logic programming

Weidong Chen;Michael Kifer;David S. Warren.
Journal of Logic Programming (1993)

510 Citations

Formal semantics for time in databases

James Clifford;David S. Warren.
ACM Transactions on Database Systems (1983)

341 Citations

Memoing for logic programs

David S. Warren.
Communications of The ACM (1992)

298 Citations

Efficient Model Checking Using Tabled Resolution

Y. S. Ramakrishna;C. R. Ramakrishnan;I. V. Ramakrishnan;Scott A. Smolka.
computer aided verification (1997)

297 Citations

Automatic mode inference for logic programs

Saumya K. Debray;David S. Warren.
Journal of Logic Programming (1988)

296 Citations

Computing with logic

D. Maier;D. Warren.
(1988)

271 Citations

Computing With Logic: Logic Programming With Prolog

David Maier;David S. Warren.
(1988)

255 Citations

Xsb: Extending prolog with tabled logic programming

Terrance Swift;David s. Warren.
Theory and Practice of Logic Programming (2012)

189 Citations

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

Contact us

Best Scientists Citing David S. Warren

Manuel V. Hermenegildo

Manuel V. Hermenegildo

Madrid Institute for Advanced Studies

Publications: 65

Michael Kifer

Michael Kifer

Stony Brook University

Publications: 60

I. V. Ramakrishnan

I. V. Ramakrishnan

Stony Brook University

Publications: 36

Vítor Santos Costa

Vítor Santos Costa

University of Porto

Publications: 35

Michael Leuschel

Michael Leuschel

Heinrich Heine University Düsseldorf

Publications: 29

Neng-Fa Zhou

Neng-Fa Zhou

City University of New York

Publications: 29

Luís Moniz Pereira

Luís Moniz Pereira

Universidade Nova de Lisboa

Publications: 25

Marc Denecker

Marc Denecker

KU Leuven

Publications: 19

Scott A. Smolka

Scott A. Smolka

Stony Brook University

Publications: 19

Nicola Leone

Nicola Leone

University of Calabria

Publications: 18

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 17

Michael Hanus

Michael Hanus

Kiel University

Publications: 16

Michael Gelfond

Michael Gelfond

Texas Tech University

Publications: 16

Saumya K. Debray

Saumya K. Debray

University of Arizona

Publications: 15

Maurice Bruynooghe

Maurice Bruynooghe

KU Leuven

Publications: 14

Richard T. Snodgrass

Richard T. Snodgrass

University of Arizona

Publications: 12

Something went wrong. Please try again later.