Concepedia

David S. Warren

DS

57

Publications

3.5K

Citations

28

H-Index

1978

Active since

Affiliations

Stony Brook University(Current)

State University of New York

Southern Methodist University

University of Arizona

David S. Warren is an author at Stony Brook University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLogic ProgrammingFormal VerificationSemanticsProgram AnalysisSemantic WebManagement

Publications per year

1978–2016

57

Publications

57

Tabled evaluation with delaying for general logic programs

Weidong Chen, David S. Warren · Journal of the ACM · 1996 · 409 citations · Full text

Mathematical Programming, Applied Logic, Engineering +17

HiLog: A foundation for higher-order logic programming

Weidong Chen, Michael Kifer, David S. Warren · The Journal of Logic Programming · 1993 · 333 citations

Computational Logic, Engineering, Automated Reasoning +5

XSB as an efficient deductive database engine

Konstantinos Sagonas, Terrance Swift, David S. Warren · 1994 · 324 citations · Full text

Engineering, Prolog Foundation, Deductive Database Systems +18

Memoing for logic programs

David S. Warren · Communications of the ACM · 1992 · 212 citations · Full text

XSB: Extending Prolog with Tabled Logic Programming

Terrance Swift, David S. Warren · Theory and Practice of Logic Programming · 2011 · 186 citations

Applied Logic, Engineering, Semantic Web +16

Rows per page

1–5 of 57