 | 2009 |
|---|
| 96 |       | Patricia M. Hill,
David Scott Warren:
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Springer 2009 |
| 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 | | 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 | | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP.
TPLP 8(4): 491-526 (2008) |
| 2007 |
|---|
| 92 | | 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 | | Tom Schrijvers,
Bart Demoen,
David Scott Warren:
TCHR: a framework for tabled CLP
CoRR abs/0712.3830: (2007) |
| 90 | | C. R. Ramakrishnan,
I. V. Ramakrishnan,
David Scott Warren:
XcelLog: a deductive spreadsheet system.
Knowledge Eng. Review 22(3): 269-279 (2007) |
| 2006 |
|---|
| 89 | | 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 | | Tom Schrijvers,
David Scott Warren:
Constraint Handling Rules and Tabled Execution.
ICLP 2004: 120-136 |
| 2003 |
|---|
| 86 | | 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 | | Luís Fernando Castro,
Terrance Swift,
David Scott Warren:
Suspending and Resuming Computations in Engines for SLG Evaluation.
PADL 2002: 332-350 |
| 2001 |
|---|
| 83 | | Luís Fernando Castro,
David Scott Warren:
An Environment for the Exploration of Non Monotonic Logic Programs.
WLPE 2001 |
| 82 | | 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 | | 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 | | Baoqiu Cui,
Terrance Swift,
David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations.
LPNMR 1999: 206-220 |
| 77 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Konstantinos F. Sagonas,
Terrance Swift,
David Scott Warren:
XSB as an Efficient Deductive Database Engine.
SIGMOD Conference 1994: 442-453 |
| 50 | | 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 | | 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 | | Saumya K. Debray,
David Scott Warren:
Towards Banishing the Cut from Prolog.
IEEE Trans. Software Eng. 16(3): 335-349 (1990) |
| 1989 |
|---|
| 30 | | 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 | | Weidong Chen,
David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 |
| 25 | | Saumya K. Debray,
David Scott Warren:
Functional Computations in Logic Programs.
ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989) |
| 24 | | 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 | | David Maier,
David Rozenshtein,
David Scott Warren:
Windows on the World.
SIGMOD Conference 1983: 68-78 |
| 7 | | 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 | | David Maier,
David Scott Warren:
Specifying Connections for a Universal Relation Scheme Database.
SIGMOD Conference 1982: 1-7 |
| 4 | | 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 | | 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 |
