David Scott Warren
David Scott Warren
Emeritus Professor of Computer Science, Stony Brook University
Verified email at cs.stonybrook.edu
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
5831996
XSB as an efficient deductive database engine
K Sagonas, T Swift, DS Warren
ACM SIGMOD Record 23 (2), 442-453, 1994
5431994
HiLog: A foundation for higher-order logic programming
W Chen, M Kifer, DS Warren
The Journal of Logic Programming 15 (3), 187-230, 1993
4841993
Formal semantics for time in databases
J Clifford, DS Warren
ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983
3361983
Memoing for logic programs
DS Warren
Communications of the ACM 35 (3), 93-111, 1992
2901992
Efficient model checking using tabled resolution
YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ...
International Conference on Computer Aided Verification, 143-154, 1997
2811997
Automatic mode inference for logic programs
SK Debray, DS Warren
The Journal of Logic Programming 5 (3), 207-229, 1988
2811988
Computing with logic
D Maier, D Warren
Addison-Wesley Pub. Co. Inc., Reading, MA, 1988
2661988
XSB: Extending Prolog with tabled logic programming
T Swift, DS Warren
arXiv preprint arXiv:1012.5123, 2010
1962010
XSB: A system for efficiently computing well-founded semantics
P Rao, K Sagonas, T Swift, DS Warren, J Freire
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
1961997
Extension Tables: Memo Relations in Logic Programming.
SW Dietrich, DS Warren
SLP, 264-272, 1987
1951987
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
1821995
A Minimal Extension of the WAM for clp (FD).
D Diaz, P Codognet
ICLP, 774-790, 1993
1821993
C-logic of complex objects
W Chen, DS Warren
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989
1771989
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
J Pinto, R Reiter
ICLP 93, 203-221, 1993
1541993
Query evaluation under the well-founded semantics
W Chen, DS Warren
Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993
1461993
A logic-based language for database updates
S Manchanda, DS Warren
Foundations of deductive databases and logic programming, 363-394, 1988
1401988
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
1361996
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
130*1999
An argumentation semantics for logic programming with explicit negation
DS Warren
MIT press, 1993
1241993
The system can't perform the operation now. Try again later.
Articles 1–20