David Scott Warren

Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. TPLP 12(1-2): 157-187 (2012)

Spyros Hadjichristodoulou, David Scott Warren: Probabilistic Logic Programming with Well-Founded Negation. ISMVL 2012: 232-237

Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. TPLP 10(4-6): 401-416 (2010)

Terrance Swift, David Scott Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312

Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. CoRR abs/1007.3961 (2010)

Terrance Swift, David Scott Warren: XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)

Patricia M. Hill, David Scott Warren (Eds.): Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5649, Springer 2009, isbn 978-3-642-02845-8

Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. TPLP 8(4): 491-526 (2008)

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

Paul Hudak, David Scott Warren (Eds.): Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Lecture Notes in Computer Science 4902, Springer 2008, isbn 978-3-540-77441-9

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: XcelLog: a deductive spreadsheet system. Knowledge Eng. Review 22(3): 269-279 (2007)

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50

Tom Schrijvers, Bart Demoen, David Scott Warren: TCHR: a framework for tabled CLP. CoRR abs/0712.3830 (2007)

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren: Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405

Susan E. Brennan, Klaus Mueller, Greg Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman: Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST 2006: 129-136

Tom Schrijvers, David Scott Warren: Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136

Eugenio Moggi, David Scott Warren (Eds.): Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. ACM 2004, isbn 1-58113-819-9

Luís Fernando Castro, David Scott Warren: Approximate Pruning in Tabled Logic Programming. ESOP 2003: 69-83

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

Luís Fernando Castro, Terrance Swift, David Scott Warren: Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001)

Luís Fernando Castro, David Scott Warren: An Environment for the Exploration of Non Monotonic Logic Programs. WLPE 2001

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)

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren: Specification and evaluation of logic-based model checking. ACM SIGSOFT Software Engineering Notes 25(1): 73-74 (2000)

Baoqiu Cui, David Scott Warren: A System for Tabled Constraint Logic Programming. Computational Logic 2000: 478-492

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)

Baoqiu Cui, David Scott Warren: Attributed Variables in XSB. Electr. Notes Theor. Comput. Sci. 30(3): 67-80 (1999)

Baoqiu Cui, David Scott Warren: Multiple Terms in a Tabled Logic Programming System. ICLP 1999: 305-319

Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220

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

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)

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

David Scott Warren: Programming with tabling in XSB. PROCOMET 1998: 5-6

Juliana Freire, Terrance Swift, David Scott Warren: Scheduling in SLG Revisited. TAPD 1998: 62-66

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

Juliana Freire, Terrance Swift, David Scott Warren: Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212

Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire: XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441

Juliana Freire, David Scott Warren: Controlling the Search in Tabled Evaluations. ILPS 1997: 409

Weidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74 (1996)

Weidong Chen, David Scott Warren: Predicate Abstractions in Higher-Order Logic Programming. New Generation Comput. 14(2): 195-236 (1996)

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)

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288

Juliana Freire, Terrance Swift, David Scott Warren: Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363

Steven Dawson, C. R. Ramakrishnan, David Scott Warren: Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI 1996: 117-126

Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258

R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23(2): 151-202 (1995)

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)

Konstantinos F. Sagonas, David Scott Warren: Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP 1995: 349-363

I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132

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

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

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as a Deductive Database. SIGMOD Conference 1994: 512

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

Terrance Swift, David Scott Warren: Analysis of SLG-WAM Evaluation of Definite Programs. SLP 1994: 219-235

Terrance Swift, David Scott Warren: An Abstract Machine for SLG Resolution: Definite Programs. SLP 1994: 633-652

Konstantinos F. Sagonas, David Scott Warren: A Portable Compiler for Integrating HiLog into Prolog Systems. SLP 1994: 682

Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230 (1993)

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)

David Scott Warren: Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 111-123

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164

David Scott Warren: Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Book), ILPS 1993: 217-234

Weidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179

Hong Gao, David Scott Warren: A Powerful Evaluation Strategy For CLP Programs. PPCP 1993: 90-97

Weidong Chen, Terrance Swift, David Scott Warren: Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679

David Scott Warren: Memoing for Logic Programs. Commun. ACM 35(3): 93-111 (1992)

Weidong Chen, David Scott Warren: A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603

Weidong Chen, David Scott Warren: An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP 1991: 97-110

Weidong Chen, David Scott Warren: Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP 1991: 287-298

Saumya K. Debray, David Scott Warren: Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16(3): 335-349 (1990)

R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12(3): 37-44 (1989)

Saumya K. Debray, David Scott Warren: Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989)

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329

Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren: On the Declarative Semantics of Inheritance Networks. IJCAI 1989: 1099-1103

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378

Weidong Chen, David Scott Warren: Abductive Resoning with Structured Data. NACLP 1989: 851-867

Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114

David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, isbn 0-8053-6681-4

Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Logic Programs. J. Log. Program. 5(3): 207-229 (1988)

Weidong Chen, David Scott Warren: Objects as Intensions. ICLP/SLP 1988: 404-419

Jiyang Xu, David Scott Warren: A Type Inference System for Prolog. ICLP/SLP 1988: 604-619

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394

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)

David Maier, David Rozenshtein, David Scott Warren: Window Functions. Advances in Computing Research 3: 213-246 (1986)

David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504

Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Prolog Programs. SLP 1986: 78-88

David Scott Warren: Efficient Prolog Memory Management for Flexible Control Strategies. New Generation Comput. 2(4): 361-369 (1984)

Edward Sciore, David Scott Warren: Towards an Integrated Database-Prolog System. Expert Database Workshop 1984: 293-305

David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253

Laxmikant V. Kalé, David Scott Warren: A Class of Architectures for a Prolog Machine. ICLP 1984: 171-182

David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé: Executing Distributed Prolog Programs on a Broadcast Network. SLP 1984: 12-21

David Scott Warren: Efficient Prolog Memory Management for Flexible Control Strategies. SLP 1984: 198-202

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254 (1983)

David Scott Warren: Using X-Calculus to Represent Meanings in Logic Grammars. ACL 1983: 51-56

David Maier, David Rozenshtein, David Scott Warren: Windows on the World. SIGMOD Conference 1983: 68-78

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)

Mark A. Jones, David Scott Warren: Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. AAAI 1982: 79-83

David Maier, David Scott Warren: Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference 1982: 1-7

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

David Maier, David Scott Warren: Incorporating Computed Relations in Relational Databases. SIGMOD Conference 1981: 176-187

James Clifford, David Scott Warren: Formal Semantics for Time in Databases. XP2 Workshop on Relational Database Theory 1981