dblp.uni-trier.dewww.uni-trier.de

David Scott Warren Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
96EEPatricia 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
94EEAnu 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
93EETom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)
2007
92EEAnu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50
91EETom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP CoRR abs/0712.3830: (2007)
90EEC. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: XcelLog: a deductive spreadsheet system. Knowledge Eng. Review 22(3): 269-279 (2007)
2006
89EEC. 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
87EETom Schrijvers, David Scott Warren: Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136
2003
86EELuí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
84EELuís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350
2001
83EELuís Fernando Castro, David Scott Warren: An Environment for the Exploration of Non Monotonic Logic Programs. WLPE 2001
82EEKonstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)
2000
81EEBaoqiu 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
78EEBaoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220
77EEYifei 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
76EEBaoqiu 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
74EEBaoqiu 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
72EEJuliana 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
70EEY. 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
66EEKonstantinos 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
61EEJuliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258
60EEWeidong 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)
59EEWeidong 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
55EEJuliana 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
51EEKonstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453
50EEKonstantinos 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
43EEWeidong 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
33EEWeidong 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
31EESaumya K. Debray, David Scott Warren: Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16(3): 335-349 (1990)
1989
30EEWeidong 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
26EEWeidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378
25EESaumya K. Debray, David Scott Warren: Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989)
24EEWeidong 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
8EEDavid Maier, David Rozenshtein, David Scott Warren: Windows on the World. SIGMOD Conference 1983: 68-78
7EEJames 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
5EEDavid Maier, David Scott Warren: Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference 1982: 1-7
4EEDavid 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
2EEDavid 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

Coauthor Index

1Mustaque Ahamad [11]
2Luís Fernando Castro [83] [84] [86]
3Weidong Chen [22] [24] [26] [27] [28] [30] [33] [34] [36] [37] [38] [43] [44] [52] [58] [59] [60]
4James Clifford [1] [7]
5Baoqiu Cui [74] [76] [78] [79] [81]
6Hasan Davulcu [85]
7Steven Dawson [54] [62]
8Saumya K. Debray [11] [16] [17] [19] [25] [31]
9Bart Demoen [91] [93]
10Yifei Dong [74] [77]
11Xiaoqun Du [74] [77]
12Juliana Freire [45] [55] [61] [64] [67] [68] [69] [71] [72]
13Joyce Friedman [3]
14Hong Gao [42]
15Patricia M. Hill [96]
16Rui Hu [45] [55]
17Paul Hudak [95]
18Jennifer Jones [85]
19Mark A. Jones [6]
20Laxmikant V. Kalé [11] [12]
21Michael Kifer [24] [28] [29] [30] [38]
22K. Narayan Kumar [74]
23David Maier [2] [4] [5] [8] [15] [18] [23]
24Sanjay Manchanda [20]
25Eugenio Moggi [88]
26L. Robert Pokorny [85]
27Y. S. Ramakrishna [70] [77]
28C. R. Ramakrishnan [54] [62] [70] [74] [77] [89] [90] [92] [94]
29I. V. Ramakrishnan [32] [46] [53] [54] [56] [70] [74] [75] [77] [89] [90] [92] [94]
30R. Ramesh [32] [53]
31Prasad Rao [46] [56] [67] [75]
32Abhik Roychoudhury [74]
33David Rozenshtein [4] [8] [15] [18]
34Chris Rued [85]
35Konstantinos F. Sagonas [39] [47] [50] [51] [54] [56] [57] [63] [65] [66] [67] [75] [80] [82]
36Sharon C. Salveter [4] [18]
37Tom Schrijvers [87] [91] [93]
38Edward Sciore [14]
39Anu Singh [92] [94]
40Steven Skiena [54]
41Scott A. Smolka [70] [74] [77]
42Oleg Sokolsky [77]
43Eugene W. Stark [77]
44Jacob Stein [4] [18]
45Scott D. Stoller [92]
46Terrance Swift [39] [44] [45] [46] [48] [49] [50] [51] [52] [54] [55] [56] [61] [63] [64] [65] [66] [67] [69] [70] [71] [72] [75] [78] [80] [82] [84] [85]
47Krishnaprasad Thirunarayan [29]
48Tatyana Vidrevich [85]
49Jennifer L. Wong [94]
50Jiyang Xu [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)