Segui
David Scott Warren
David Scott Warren
Emeritus Professor of Computer Science, Stony Brook University
Email verificata su cs.stonybrook.edu
Titolo
Citata da
Citata da
Anno
Tabled evaluation with delaying for general logic programs
W Chen, DS Warren
Journal of the ACM (JACM) 43 (1), 20-74, 1996
6301996
XSB as an efficient deductive database engine
K Sagonas, T Swift, DS Warren
ACM SIGMOD Record 23 (2), 442-453, 1994
5841994
HiLog: A foundation for higher-order logic programming
W Chen, M Kifer, DS Warren
The Journal of Logic Programming 15 (3), 187-230, 1993
5451993
Formal semantics for time in databases
J Clifford, DS Warren
ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983
3731983
Memoing for logic programs
DS Warren
Communications of the ACM 35 (3), 93-111, 1992
3211992
Automatic mode inference for logic programs
SK Debray, DS Warren
The Journal of Logic Programming 5 (3), 207-229, 1988
3071988
Computing with logic: logic programming with Prolog
D Maier, DS Warren
Benjamin-Cummings Publishing Co., Inc., 1988
3071988
Efficient model checking using tabled resolution
YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ...
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
3001997
XSB: Extending Prolog with tabled logic programming
T Swift, DS Warren
Theory and Practice of Logic Programming 12 (1-2), 157-187, 2012
2582012
Extension Tables: Memo Relations in Logic Programming.
SW Dietrich
Unknown Host Publication Title, 264-272, 1987
2131987
XSB: A system for efficiently computing well-founded semantics
P Rao, K Sagonas, T Swift, DS Warren, J Freire
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
2071997
C-logic of Complex Objects
W Chen, DS Warren
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989
1951989
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
1891995
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
1541996
A logic-based language for database updates
S Manchanda, DS Warren
Foundations of deductive databases and logic programming, 363-394, 1988
1521988
Query evaluation under the well-founded semantics
W Chen, DS Warren
Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993
1441993
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
133*1999
A first-order semantics for higher-order logic programming constructs
W Chen
Proc. North American Conference on Logic Programming, Cleveland, Ohio, 1989
1311989
Efficient Prolog memory management for flexible control strategies
DS Warren
New Generation Computing 2, 361-369, 1984
1091984
Efficient tabling mechanisms for logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
Proceedings of the 12th International Conference on Logic Programming, 687-711, 1995
1061995
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20