The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Scott Warren: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  87. Security policy analysis using deductive spreadsheets. [Citation Graph (, )][DBLP]


  88. Tabling with Answer Subsumption: Implementation, Applications and Performance. [Citation Graph (, )][DBLP]


  89. A methodology for in-network evaluation of integrated logical-statistical models. [Citation Graph (, )][DBLP]


  90. TCHR: a framework for tabled CLP [Citation Graph (, )][DBLP]


  91. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002