Syntax And Semantics In Parsing: An Application To Montague Grammar. - David Scott Warren (1979)

Incorporating Computed Relations in Relational Databases. - David Maier 001; David Scott Warren (SIGMOD Conference, 1981)

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

Toward Logical Data Independence: A Relational Query Language Without Relations. - David Maier 001; David Rozenshtein; Sharon C. Salveter; Jacob Stein; David Scott Warren (SIGMOD Conference, 1982)

Specifying Connections for a Universal Relation Scheme Database. - David Maier 001; David Scott Warren (SIGMOD Conference, 1982)

Using Semantics in Non-Context-Free Parsing of Montague Grammar. - David Scott Warren; Joyce Friedman (Am. J. Comput. Linguistics, 1982)

Research at SUNY: Stony Brook. - Herbert L. Gelernter; Mark A. Jones; Sharon C. Salveter; David Scott Warren (SIGART Newsl., 1982)

Using X-Calculus to Represent Meanings in Logic Grammars. - David Scott Warren (ACL, 1983)

Windows on the World. - David Maier 001; David Rozenshtein; David Scott Warren (SIGMOD Conference, 1983)

Formal Semantics for Time in Databases. - James Clifford; David Scott Warren (ACM Trans. Database Syst., 1983)

Towards an Integrated Database-Prolog System. - Edward Sciore; David Scott Warren (Expert Database Workshop, 1984)

Database Updates in Pure Prolog. - David Scott Warren (FGCS, 1984)

A Class of Architectures for a Prolog Machine. - Laxmikant V. Kalé; David Scott Warren (ICLP, 1984)

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

Efficient Prolog Memory Management for Flexible Control Strategies. - David Scott Warren (New Gener. Comput., 1984)

Detection and Optimization of Functional Computations in Prolog. - David Scott Warren; Saumya K. Debray (ICLP, 1986)

Automatic Mode Inference for Prolog Programs. - Saumya K. Debray; David Scott Warren (SLP, 1986)

Window Functions. - David Maier 001; David Rozenshtein; David Scott Warren (Adv. Comput. Res., 1986)

PIQUE: a relational query language without relations. - David Maier 001; David Rozenshtein; Sharon C. Salveter; Jacob Stein; David Scott Warren (Inf. Syst., 1987)

Computing with Logic: Logic Programming with Prolog - David Maier 001; David Scott Warren (Benjamin/Cummings, 1988)

A Logic-based Language for Database Updates. - Sanjay Manchanda; David Scott Warren (Foundations of Deductive Databases and Logic Programming., 1988)

Objects as Intensions. - Weidong Chen 005; David Scott Warren (ICLP/SLP, 1988)

A Type Inference System for Prolog. - Jiyang Xu; David Scott Warren (ICLP/SLP, 1988)

Automatic Mode Inference for Logic Programs. - Saumya K. Debray; David Scott Warren (J. Log. Program., 1988)

On the Declarative Semantics of Inheritance Networks. - Krishnaprasad Thirunarayan; Michael Kifer; David Scott Warren (IJCAI, 1989)

C-Logic of Complex Objects. - Weidong Chen 005; David Scott Warren (PODS, 1989)

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. - Weidong Chen 005; Michael Kifer; David Scott Warren (NACLP, 1989)

Abductive Resoning with Structured Data. - Weidong Chen 005; David Scott Warren (NACLP, 1989)

HiLog as a Platform for Database Languages. - Weidong Chen 005; Michael Kifer; David Scott Warren (IEEE Data Eng. Bull., 1989)

Functional Computations in Logic Programs. - Saumya K. Debray; David Scott Warren (ACM Trans. Program. Lang. Syst., 1989)

Towards Banishing the Cut from Prolog. - Saumya K. Debray; David Scott Warren (IEEE Trans. Software Eng., 1990)

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

Compilation of Predicate Abstractions in Higher-Order Logic Programming. - Weidong Chen 005; David Scott Warren (PLILP, 1991)

Memoing for Logic Programs. - David Scott Warren (Commun. ACM, 1992)

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

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

Query Evaluation under the Well Founded Semantics. - Weidong Chen 005; David Scott Warren (PODS, 1993)

A Powerful Evaluation Strategy For CLP Programs. - Hong Gao; David Scott Warren (PPCP, 1993)

Goal-Directed Evaluation of Well-Founded Sematics for XSB. - Weidong Chen 005; Terrance Swift; David Scott Warren (ILPS, 1993)

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

A Goal-Oriented Approach to Computing the Well-Founded Semantics. - Weidong Chen 005; David Scott Warren (J. Log. Program., 1993)

Dynamic Argument Reduction for In-memory Data Queries. - Prasad Rao; I. V. Ramakrishnan; Terrance Swift; David Scott Warren (Workshop on Deductive Databases and Logic Programming, 1994)

XSB as an Efficient Deductive Database Engine. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (SIGMOD Conference, 1994)

XSB as a Deductive Database. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (SIGMOD Conference, 1994)

Parallelizing Tabled Evaluations (Extended Abstract). - Juliana Freire; Rui Hu; Terrance Swift; David Scott Warren (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

A Portable Compiler for Integrating HiLog into Prolog Systems. - Konstantinos Sagonas; David Scott Warren (ILPS, 1994)

Analysis of SLG-WAM Evaluation of Definite Programs. - Terrance Swift; David Scott Warren (ILPS, 1994)

An Abstract Machine for SLG Resolution: Definite Programs. - Terrance Swift; David Scott Warren (ILPS, 1994)

Efficient Tabling Mechanisms for Logic Programs. - I. V. Ramakrishnan; Prasad Rao; Konstantinos Sagonas; Terrance Swift; David Scott Warren (ICLP, 1995)

Efficient Execution of HiLog in WAM-based Prolog Implementations. - Konstantinos Sagonas; David Scott Warren (ICLP, 1995)

Exploiting Parallelism in Tabled Evaluations - Juliana Freire; Rui Hu; Terrance Swift; David Scott Warren (PLILP, 1995)

Unification Factoring for Efficient Execution of Logic Programs. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Konstantinos Sagonas; Steven Skiena; Terrance Swift; David Scott Warren (POPL, 1995)

Efficient Top-Down Computation of Queries under the Well-Founded Semantics. - Weidong Chen 005; Terrance Swift; David Scott Warren (J. Log. Program., 1995)

Automata-Driven Indexing of Prolog Clauses. - R. Ramesh 001; I. V. Ramakrishnan; David Scott Warren (J. Log. Program., 1995)

An Abstract Machine for Fixed-Order Dynamically Stratified Programs. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (CADE, 1996)

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

An Abstract Machine for Computing the Well-Founded Semantics. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (JICSLP, 1996)

Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. - Steven Dawson; C. R. Ramakrishnan 001; David Scott Warren (PLDI, 1996)

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

Tabled Evaluation With Delaying for General Logic Programs. - Weidong Chen 005; David Scott Warren (J. ACM, 1996)

Predicate Abstractions in Higher-Order Logic Programming. - Weidong Chen 005; David Scott Warren (New Gener. Comput., 1996)

Computation of Stable Models and Its Integration with Logical Query Processing. - Weidong Chen 005; David Scott Warren (IEEE Trans. Knowl. Data Eng., 1996)

Efficient Model Checking Using Tabled Resolution. - Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David Scott Warren (CAV, 1997)

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

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

Controlling the Search in Tabled Evaluations. - Juliana Freire; David Scott Warren (ILPS, 1997)

Logic Programming and Model Checking. - Baoqiu Cui; Yifei Dong; Xiaoqun Du; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Abhik Roychoudhury; Scott A. Smolka; David Scott Warren (PLILP/ALP, 1998)

Programming with tabling in XSB. - David Scott Warren (PROCOMET, 1998)

Scheduling in SLG Revisited. - Juliana Freire; Terrance Swift; David Scott Warren (TAPD, 1998)

Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. - Juliana Freire; Terrance Swift; David Scott Warren (J. Funct. Log. Program., 1998)

Multiple Terms in a Tabled Logic Programming System. - Baoqiu Cui; David Scott Warren (ICLP, 1999)

A Case Study in Using Preference Logic Grammars for Knowledge Representations. - Baoqiu Cui; Terrance Swift; David Scott Warren (LPNMR, 1999)

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. - Yifei Dong; Xiaoqun Du; Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Oleg Sokolsky; Eugene W. Stark; David Scott Warren (TACAS, 1999)

Efficient Access Mechanisms for Tabled Logic Programs. - I. V. Ramakrishnan; Prasad Rao; Konstantinos Sagonas; Terrance Swift; David Scott Warren (J. Log. Program., 1999)

Attributed Variables in XSB. - Baoqiu Cui; David Scott Warren (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

A System for Tabled Constraint Logic Programming. - Baoqiu Cui; David Scott Warren (Computational Logic, 2000)

Using XSB for Extraction and Standardization. - David Scott Warren (PACPL, 2000)

XNMR: A tool for knowledge bases exploration - Luís Castro; David Scott Warren (CoRR, 2000)

An abstract machine for efficiently computing queries to well-founded models. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (J. Log. Program., 2000)

Specification and evaluation of logic-based model checking. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; David Scott Warren (ACM SIGSOFT Softw. Eng. Notes, 2000)

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

The limits of fixed-order computation. - Konstantinos Sagonas; Terrance Swift; David Scott Warren (Theor. Comput. Sci., 2001)

Ensuring the Consistency of Self-Reported Data: A Case Study. - Hasan Davulcu; Jennifer Jones; L. Robert Pokorny; Chris Rued; Terrance Swift; Tatyana Vidrevich; David Scott Warren (ICIQ, 2002)

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

Approximate Pruning in Tabled Logic Programming. - Luís Fernando Castro; David Scott Warren (ESOP, 2003)

Constraint Handling Rules and Tabled Execution. - Tom Schrijvers; David Scott Warren (ICLP, 2004)

Prolog Models for the Model-View-Controller Paradigm (Invited Talk). - David Scott Warren (WLPE, 2004)

Deductive Spreadsheets Using Tabled Logic Programming. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren (ICLP, 2006)

Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. - Susan E. Brennan; Klaus Mueller 001; Gregory J. Zelinsky; I. V. Ramakrishnan; David Scott Warren; Arie E. Kaufman (IEEE VAST, 2006)

Security policy analysis using deductive spreadsheets. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott D. Stoller; David Scott Warren (FMSE, 2007)

XcelLog: a deductive spreadsheet system. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren (Knowl. Eng. Rev., 2007)

A methodology for in-network evaluation of integrated logical-statistical models. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren; Jennifer L. Wong (SenSys, 2008)

TCHR: a framework for tabled CLP. - Tom Schrijvers; Bart Demoen; David Scott Warren (Theory Pract. Log. Program., 2008)

Tabling with Answer Subsumption: Implementation, Applications and Performance. - Terrance Swift; David Scott Warren (JELIA, 2010)

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. - Pablo Chico de Guzmán; Manuel Carro; David Scott Warren (Theory Pract. Log. Program., 2010)

Probabilistic Logic Programming with Well-Founded Negation. - Spyros Hadjichristodoulou; David Scott Warren (ISMVL, 2012)

XSB: Extending Prolog with Tabled Logic Programming. - Terrance Swift; David Scott Warren (Theory Pract. Log. Program., 2012)

Cost-sensitive learning for large-scale hierarchical classification. - Jianfu Chen; David Scott Warren (CIKM, 2013)

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. - Spyros Hadjichristodoulou; Donald E. Porter; David Scott Warren (CoRR, 2013)

Interning Ground Terms in XSB. - David Scott Warren (CoRR, 2013)

Who Shaves the Barber, and with What Probability? - Spyros Hadjichristodoulou; David Scott Warren (J. Multiple Valued Log. Soft Comput., 2014)

Déjà Image-Captions: A Corpus of Expressive Descriptions in Repetition. - Jianfu Chen; Polina Kuznetsova; David Scott Warren; Yejin Choi 001 (HLT-NAACL, 2015)

Learning Prototypical Event Structure from Photo Albums. - Antoine Bosselut; Jianfu Chen; David Scott Warren; Hannaneh Hajishirzi; Yejin Choi 001 (ACL (1), 2016)

AppLP: A Dialogue on Applications of Logic Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2017)

Datalog: concepts, history, and outlook. - David Maier 001; K. Tuncay Tekle; Michael Kifer; David Scott Warren (Declarative Logic Programming, 2018)

WAM for everyone: a virtual machine for logic programming. - David Scott Warren (Declarative Logic Programming, 2018)

Top-down and Bottom-up Evaluation Procedurally Integrated. - David Scott Warren (Theory Pract. Log. Program., 2018)

LPOP: Challenges and Advances in Logic and Practice of Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2020)

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). - David Scott Warren; Peter Van Roy; Yanhong A. Liu (CoRR, 2022)

The Logic of Logic Programming. - Marc Denecker; David Scott Warren (CoRR, 2023)

Introduction to Prolog. - David Scott Warren (Prolog: The Next 50 Years, 2023)

Writing Correct Prolog Programs. - David Scott Warren (Prolog: The Next 50 Years, 2023)

A Better Logical Semantics for Prolog. - David Scott Warren; Marc Denecker (Prolog: The Next 50 Years, 2023)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. - David Scott Warren; Yanhong A. Liu (CoRR, 2024)

The Semantics of Metaprogramming in Prolog. - David Scott Warren (Theory Pract. Log. Program., 2024)