2008 |
95 | | Paul Hudak,
David Scott Warren:
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008.
Springer 2008 |
94 | EE | Anu Singh,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
David Scott Warren,
Jennifer L. Wong:
A methodology for in-network evaluation of integrated logical-statistical models.
SenSys 2008: 197-210 |
93 | EE | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP.
TPLP 8(4): 491-526 (2008) |
2007 |
92 | EE | Anu Singh,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott D. Stoller,
David Scott Warren:
Security policy analysis using deductive spreadsheets.
FMSE 2007: 42-50 |
91 | EE | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP
CoRR abs/0712.3830: (2007) |
90 | EE | C. R. Ramakrishnan,
I. V. Ramakrishnan,
David Scott Warren:
XcelLog: a deductive spreadsheet system.
Knowledge Eng. Review 22(3): 269-279 (2007) |
2006 |
89 | EE | C. R. Ramakrishnan,
I. V. Ramakrishnan,
David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming.
ICLP 2006: 391-405 |
2004 |
88 | | Eugenio Moggi,
David Scott Warren:
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy
ACM 2004 |
87 | EE | Tom Schrijvers,
David Scott Warren:
Constraint Handling Rules and Tabled Execution.
ICLP 2004: 120-136 |
2003 |
86 | EE | Luís Fernando Castro,
David Scott Warren:
Approximate Pruning in Tabled Logic Programming.
ESOP 2003: 69-83 |
2002 |
85 | | Hasan Davulcu,
Jennifer Jones,
L. Robert Pokorny,
Chris Rued,
Terrance Swift,
Tatyana Vidrevich,
David Scott Warren:
Ensuring the Consistency of Self-Reported Data: A Case Study.
IQ 2002: 155-166 |
84 | EE | Luís Fernando Castro,
Terrance Swift,
David Scott Warren:
Suspending and Resuming Computations in Engines for SLG Evaluation.
PADL 2002: 332-350 |
2001 |
83 | EE | Luís Fernando Castro,
David Scott Warren:
An Environment for the Exploration of Non Monotonic Logic Programs.
WLPE 2001 |
82 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The limits of fixed-order computation.
Theor. Comput. Sci. 254(1-2): 465-499 (2001) |
2000 |
81 | EE | Baoqiu Cui,
David Scott Warren:
A System for Tabled Constraint Logic Programming.
Computational Logic 2000: 478-492 |
80 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
An abstract machine for efficiently computing queries to well-founded models.
J. Log. Program. 45(1-3): 1-41 (2000) |
1999 |
79 | | Baoqiu Cui,
David Scott Warren:
Multiple Terms in a Tabled Logic Programming System.
ICLP 1999: 305-319 |
78 | EE | Baoqiu Cui,
Terrance Swift,
David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations.
LPNMR 1999: 206-220 |
77 | EE | Yifei Dong,
Xiaoqun Du,
Y. S. Ramakrishna,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
Oleg Sokolsky,
Eugene W. Stark,
David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
TACAS 1999: 74-88 |
76 | EE | Baoqiu Cui,
David Scott Warren:
Attributed Variables in XSB.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
75 | | I. V. Ramakrishnan,
Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs.
J. Log. Program. 38(1): 31-54 (1999) |
1998 |
74 | EE | Baoqiu Cui,
Yifei Dong,
Xiaoqun Du,
K. Narayan Kumar,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Abhik Roychoudhury,
Scott A. Smolka,
David Scott Warren:
Logic Programming and Model Checking.
PLILP/ALP 1998: 1-20 |
73 | | David Scott Warren:
Programming with tabling in XSB.
PROCOMET 1998: 5-6 |
72 | EE | Juliana Freire,
Terrance Swift,
David Scott Warren:
Scheduling in SLG Revisited.
TAPD 1998: 62-66 |
71 | | Juliana Freire,
Terrance Swift,
David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.
Journal of Functional and Logic Programming 1998(3): (1998) |
1997 |
70 | | Y. S. Ramakrishna,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
Terrance Swift,
David Scott Warren:
Efficient Model Checking Using Tabled Resolution.
CAV 1997: 143-154 |
69 | | Juliana Freire,
Terrance Swift,
David Scott Warren:
Taking I/O Seriously: Resolution Reconsidered for Disk.
ICLP 1997: 198-212 |
68 | | Juliana Freire,
David Scott Warren:
Controlling the Search in Tabled Evaluations.
ILPS 1997: 409 |
67 | | Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren,
Juliana Freire:
XSB: A System for Effciently Computing WFS.
LPNMR 1997: 431-441 |
1996 |
66 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
An Abstract Machine for Fixed-Order Dynamically Stratified Programs.
CADE 1996: 328-342 |
65 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
An Abstract Machine for Computing the Well-Founded Semantics.
JICSLP 1996: 274-288 |
64 | | Juliana Freire,
Terrance Swift,
David Scott Warren:
Logic Programming and Databases Integrated at Last? (Poster Abstract).
JICSLP 1996: 538 |
63 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The Limits of Fixed-Order Computation.
Logic in Databases 1996: 343-363 |
62 | | Steven Dawson,
C. R. Ramakrishnan,
David Scott Warren:
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.
PLDI 1996: 117-126 |
61 | | Juliana Freire,
Terrance Swift,
David Scott Warren:
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.
PLILP 1996: 243-258 |
60 | EE | Weidong Chen,
David Scott Warren:
Computation of Stable Models and Its Integration with Logical Query Processing.
IEEE Trans. Knowl. Data Eng. 8(5): 742-757 (1996) |
59 | EE | Weidong Chen,
David Scott Warren:
Tabled Evaluation With Delaying for General Logic Programs.
J. ACM 43(1): 20-74 (1996) |
58 | | Weidong Chen,
David Scott Warren:
Predicate Abstractions in Higher-Order Logic Programming.
New Generation Comput. 14(2): 195-236 (1996) |
1995 |
57 | | Konstantinos F. Sagonas,
David Scott Warren:
Efficient Execution of HiLog in WAM-based Prolog Implementations.
ICLP 1995: 349-363 |
56 | | I. V. Ramakrishnan,
Prasad Rao,
Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs.
ICLP 1995: 697-711 |
55 | | Juliana Freire,
Rui Hu,
Terrance Swift,
David Scott Warren:
Exploiting Parallelism in Tabled Evaluations
PLILP 1995: 115-132 |
54 | | Steven Dawson,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Konstantinos F. Sagonas,
Steven Skiena,
Terrance Swift,
David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs.
POPL 1995: 247-258 |
53 | | R. Ramesh,
I. V. Ramakrishnan,
David Scott Warren:
Automata-Driven Indexing of Prolog Clauses.
J. Log. Program. 23(2): 151-202 (1995) |
52 | | Weidong Chen,
Terrance Swift,
David Scott Warren:
Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
J. Log. Program. 24(3): 161-199 (1995) |
1994 |
51 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
XSB as an Efficient Deductive Database Engine.
SIGMOD Conference 1994: 442-453 |
50 | EE | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
XSB as a Deductive Database.
SIGMOD Conference 1994: 512 |
49 | | Terrance Swift,
David Scott Warren:
Analysis of SLG-WAM Evaluation of Definite Programs.
SLP 1994: 219-235 |
48 | | Terrance Swift,
David Scott Warren:
An Abstract Machine for SLG Resolution: Definite Programs.
SLP 1994: 633-652 |
47 | | Konstantinos F. Sagonas,
David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems.
SLP 1994: 682 |
46 | | Prasad Rao,
I. V. Ramakrishnan,
Terrance Swift,
David Scott Warren:
Dynamic Argument Reduction for In-memory Data Queries.
Workshop on Deductive Databases and Logic Programming 1994: 117-129 |
45 | | Juliana Freire,
Rui Hu,
Terrance Swift,
David Scott Warren:
Parallelizing Tabled Evaluations (Extended Abstract).
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 18-31 |
1993 |
44 | | Weidong Chen,
Terrance Swift,
David Scott Warren:
Goal-Directed Evaluation of Well-Founded Sematics for XSB.
ILPS 1993: 679 |
43 | EE | Weidong Chen,
David Scott Warren:
Query Evaluation under the Well Founded Semantics.
PODS 1993: 168-179 |
42 | | Hong Gao,
David Scott Warren:
A Powerful Evaluation Strategy For CLP Programs.
PPCP 1993: 90-97 |
41 | | David Scott Warren:
Programming the PTQ Grammar in XSB.
Workshop on Programming with Logic Databases (Book), ILPS 1993: 217-234 |
40 | | David Scott Warren:
Programming the PTQ Grammar in XSB.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 111-123 |
39 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
The XSB Programming System.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164 |
38 | | Weidong Chen,
Michael Kifer,
David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming.
J. Log. Program. 15(3): 187-230 (1993) |
37 | | Weidong Chen,
David Scott Warren:
A Goal-Oriented Approach to Computing the Well-Founded Semantics.
J. Log. Program. 17(2/3&4): 279-300 (1993) |
1992 |
36 | | Weidong Chen,
David Scott Warren:
A Goal-Oriented Approach to Computing Well Founded Semantics.
JICSLP 1992: 589-603 |
35 | | David Scott Warren:
Memoing for Logic Programs.
Commun. ACM 35(3): 93-111 (1992) |
1991 |
34 | | Weidong Chen,
David Scott Warren:
An Intensional Logic of (Multi-Arity) Set Abstractions.
ICLP 1991: 97-110 |
33 | | Weidong Chen,
David Scott Warren:
Compilation of Predicate Abstractions in Higher-Order Logic Programming.
PLILP 1991: 287-298 |
1990 |
32 | | R. Ramesh,
I. V. Ramakrishnan,
David Scott Warren:
Automata-Driven Indexing of Prolog Clauses.
POPL 1990: 281-291 |
31 | EE | Saumya K. Debray,
David Scott Warren:
Towards Banishing the Cut from Prolog.
IEEE Trans. Software Eng. 16(3): 335-349 (1990) |
1989 |
30 | EE | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
DBPL 1989: 315-329 |
29 | | Krishnaprasad Thirunarayan,
Michael Kifer,
David Scott Warren:
On the Declarative Semantics of Inheritance Networks.
IJCAI 1989: 1099-1103 |
28 | | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
NACLP 1989: 1090-1114 |
27 | | Weidong Chen,
David Scott Warren:
Abductive Resoning with Structured Data.
NACLP 1989: 851-867 |
26 | EE | Weidong Chen,
David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 |
25 | EE | Saumya K. Debray,
David Scott Warren:
Functional Computations in Logic Programs.
ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989) |
24 | EE | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull. 12(3): 37-44 (1989) |
1988 |
23 | | David Maier,
David Scott Warren:
Computing with Logic: Logic Programming with Prolog
Benjamin/Cummings 1988 |
22 | | Weidong Chen,
David Scott Warren:
Objects as Intensions.
ICLP/SLP 1988: 404-419 |
21 | | Jiyang Xu,
David Scott Warren:
A Type Inference System for Prolog.
ICLP/SLP 1988: 604-619 |
20 | | Sanjay Manchanda,
David Scott Warren:
A Logic-based Language for Database Updates.
Foundations of Deductive Databases and Logic Programming. 1988: 363-394 |
19 | | Saumya K. Debray,
David Scott Warren:
Automatic Mode Inference for Logic Programs.
J. Log. Program. 5(3): 207-229 (1988) |
1987 |
18 | | David Maier,
David Rozenshtein,
Sharon C. Salveter,
Jacob Stein,
David Scott Warren:
PIQUE: a relational query language without relations.
Inf. Syst. 12(3): 317-335 (1987) |
1986 |
17 | | David Scott Warren,
Saumya K. Debray:
Detection and Optimization of Functional Computations in Prolog.
ICLP 1986: 490-504 |
16 | | Saumya K. Debray,
David Scott Warren:
Automatic Mode Inference for Prolog Programs.
SLP 1986: 78-88 |
15 | | David Maier,
David Rozenshtein,
David Scott Warren:
Window Functions.
Advances in Computing Research 3: 213-246 (1986) |
1984 |
14 | | Edward Sciore,
David Scott Warren:
Towards an Integrated Database-Prolog System.
Expert Database Workshop 1984: 293-305 |
13 | | David Scott Warren:
Database Updates in Pure Prolog.
FGCS 1984: 244-253 |
12 | | Laxmikant V. Kalé,
David Scott Warren:
A Class of Architectures for a Prolog Machine.
ICLP 1984: 171-182 |
11 | | David Scott Warren,
Mustaque Ahamad,
Saumya K. Debray,
Laxmikant V. Kalé:
Executing Distributed Prolog Programs on a Broadcast Network.
SLP 1984: 12-21 |
10 | | David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies.
SLP 1984: 198-202 |
9 | | David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies.
New Generation Comput. 2(4): 361-369 (1984) |
1983 |
8 | EE | David Maier,
David Rozenshtein,
David Scott Warren:
Windows on the World.
SIGMOD Conference 1983: 68-78 |
7 | EE | James Clifford,
David Scott Warren:
Formal Semantics for Time in Databases.
ACM Trans. Database Syst. 8(2): 214-254 (1983) |
1982 |
6 | | Mark A. Jones,
David Scott Warren:
Conceptual Dependency and Montague Grammar: A Step Toward Conciliation.
AAAI 1982: 79-83 |
5 | EE | David Maier,
David Scott Warren:
Specifying Connections for a Universal Relation Scheme Database.
SIGMOD Conference 1982: 1-7 |
4 | EE | David Maier,
David Rozenshtein,
Sharon C. Salveter,
Jacob Stein,
David Scott Warren:
Toward Logical Data Independence: A Relational Query Language Without Relations.
SIGMOD Conference 1982: 51-60 |
3 | | David Scott Warren,
Joyce Friedman:
Using Semantics in Non-Context-Free Parsing of Montague Grammar.
American Journal of Computational Linguistics 8(3-4): 123-138 (1982) |
1981 |
2 | EE | David Maier,
David Scott Warren:
Incorporating Computed Relations in Relational Databases.
SIGMOD Conference 1981: 176-187 |
1 | | James Clifford,
David Scott Warren:
Formal Semantics for Time in Databases.
XP2 Workshop on Relational Database Theory 1981 |