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.
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 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.
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
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.
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.
Tabled evaluation with delaying for general logic programs
Weidong Chen;David S. Warren.
Journal of the ACM (1996)
XSB as an efficient deductive database engine
Konstantinos Sagonas;Terrance Swift;David S. Warren.
international conference on management of data (1994)
HILOG: a foundation for higher-order logic programming
Weidong Chen;Michael Kifer;David S. Warren.
Journal of Logic Programming (1993)
Formal semantics for time in databases
James Clifford;David S. Warren.
ACM Transactions on Database Systems (1983)
Memoing for logic programs
David S. Warren.
Communications of The ACM (1992)
Efficient Model Checking Using Tabled Resolution
Y. S. Ramakrishna;C. R. Ramakrishnan;I. V. Ramakrishnan;Scott A. Smolka.
computer aided verification (1997)
Automatic mode inference for logic programs
Saumya K. Debray;David S. Warren.
Journal of Logic Programming (1988)
Computing with logic
D. Maier;D. Warren.
Computing With Logic: Logic Programming With Prolog
David Maier;David S. Warren.
Xsb: Extending prolog with tabled logic programming
Terrance Swift;David s. Warren.
Theory and Practice of Logic Programming (2012)
If you think any of the details on this page are incorrect, let us know.
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: