David Scott Warren

ORCID

Publication Activity (10 Years)

Years Active: 1981-2018
Publications (10 Years): 3

Top Venues

CoRR

Theory Pract. Log. Program.

J. Multiple Valued Log. Soft Comput.

ISMVL

Publications

David Scott Warren
Top-down and Bottom-up Evaluation Procedurally Integrated. Theory Pract. Log. Program. 18 (3-4) (2018)
David Scott Warren
Top-down and Bottom-up Evaluation Procedurally Integrated. CoRR (2018)
David Scott Warren, Yanhong A. Liu
AppLP: A Dialogue on Applications of Logic Programming. CoRR (2017)
Spyros Hadjichristodoulou, David Scott Warren
Who Shaves the Barber, and with What Probability? J. Multiple Valued Log. Soft Comput. 22 (1-2) (2014)
Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. CoRR (2013)
David Scott Warren
Interning Ground Terms in XSB. CoRR (2013)
Spyros Hadjichristodoulou, David Scott Warren
Probabilistic Logic Programming with Well-Founded Negation. ISMVL (2012)
Terrance Swift, David Scott Warren
XSB: Extending Prolog with Tabled Logic Programming. Theory Pract. Log. Program. 12 (1-2) (2012)
Terrance Swift, David Scott Warren
XSB: Extending Prolog with Tabled Logic Programming CoRR (2010)
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. 10 (4-6) (2010)
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling CoRR (2010)
Terrance Swift, David Scott Warren
Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA (2010)
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)
Tom Schrijvers, Bart Demoen, David Scott Warren
TCHR: a framework for tabled CLP. Theory Pract. Log. Program. 8 (4) (2008)
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
Security policy analysis using deductive spreadsheets. FMSE (2007)
Tom Schrijvers, Bart Demoen, David Scott Warren
TCHR: a framework for tabled CLP CoRR (2007)
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. 22 (3) (2007)
Susan E. Brennan, Klaus Mueller, Gregory J. Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman
Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST (2006)
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
Deductive Spreadsheets Using Tabled Logic Programming. ICLP (2006)
Tom Schrijvers, David Scott Warren
Constraint Handling Rules and Tabled Execution. ICLP (2004)
Luís Fernando Castro, David Scott Warren
Approximate Pruning in Tabled Logic Programming. ESOP (2003)
Luís Fernando Castro, Terrance Swift, David Scott Warren
Suspending and Resuming Computations in Engines for SLG Evaluation. PADL (2002)
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. ICIQ (2002)
Luís Fernando Castro, David Scott Warren
An Environment for the Exploration of Non Monotonic Logic Programs. WLPE (2001)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
The limits of fixed-order computation. Theor. Comput. Sci. 254 (1-2) (2001)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45 (1-3) (2000)
Baoqiu Cui, David Scott Warren
A System for Tabled Constraint Logic Programming. Computational Logic (2000)
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Baoqiu Cui, David Scott Warren
Multiple Terms in a Tabled Logic Programming System. ICLP (1999)
Baoqiu Cui, Terrance Swift, David Scott Warren
A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR (1999)
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)
I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38 (1) (1999)
Baoqiu Cui, David Scott Warren
Attributed Variables in XSB. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
David Scott Warren
Programming with tabling in XSB. PROCOMET (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)
Juliana Freire, Terrance Swift, David Scott Warren
Scheduling in SLG Revisited. TAPD (1998)
Juliana Freire, Terrance Swift, David Scott Warren
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. J. Funct. Log. Program. 1998 (3) (1998)
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)
Juliana Freire, Terrance Swift, David Scott Warren
Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP (1997)
Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
XSB: A System for Effciently Computing WFS. LPNMR (1997)
Juliana Freire, David Scott Warren
Controlling the Search in Tabled Evaluations. ILPS (1997)
Juliana Freire, Terrance Swift, David Scott Warren
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP (1996)
Weidong Chen, David Scott Warren
Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43 (1) (1996)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
An Abstract Machine for Computing the Well-Founded Semantics. JICSLP (1996)
Weidong Chen, David Scott Warren
Predicate Abstractions in Higher-Order Logic Programming. New Gener. Comput. 14 (2) (1996)
Juliana Freire, Terrance Swift, David Scott Warren
Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP (1996)
Steven Dawson, C. R. Ramakrishnan, David Scott Warren
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI (1996)
Weidong Chen, David Scott Warren
Computation of Stable Models and Its Integration with Logical Query Processing. IEEE Trans. Knowl. Data Eng. 8 (5) (1996)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE (1996)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
The Limits of Fixed-Order Computation. Logic in Databases (1996)
I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
Efficient Tabling Mechanisms for Logic Programs. ICLP (1995)
Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
Exploiting Parallelism in Tabled Evaluations PLILP (1995)
Konstantinos Sagonas, David Scott Warren
Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP (1995)
Weidong Chen, Terrance Swift, David Scott Warren
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24 (3) (1995)
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
Unification Factoring for Efficient Execution of Logic Programs. POPL (1995)
R. Ramesh, I. V. Ramakrishnan, David Scott Warren
Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23 (2) (1995)
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)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
XSB as a Deductive Database. SIGMOD Conference (1994)
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)
Konstantinos Sagonas, David Scott Warren
A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS (1994)
Konstantinos Sagonas, Terrance Swift, David Scott Warren
XSB as an Efficient Deductive Database Engine. SIGMOD Conference (1994)
Terrance Swift, David Scott Warren
An Abstract Machine for SLG Resolution: Definite Programs. ILPS (1994)
Terrance Swift, David Scott Warren
Analysis of SLG-WAM Evaluation of Definite Programs. ILPS (1994)
David Scott Warren
Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Weidong Chen, Michael Kifer, David Scott Warren
HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15 (3) (1993)
Weidong Chen, Terrance Swift, David Scott Warren
Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS (1993)
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (1993)
Hong Gao, David Scott Warren
A Powerful Evaluation Strategy For CLP Programs. PPCP (1993)
Weidong Chen, David Scott Warren
A Goal-Oriented Approach to Computing the Well-Founded Semantics. J. Log. Program. 17 (2/3&4) (1993)
David Scott Warren
Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Book), ILPS (1993)
Weidong Chen, David Scott Warren
Query Evaluation under the Well Founded Semantics. PODS (1993)
Weidong Chen, David Scott Warren
A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP (1992)
David Scott Warren
Memoing for Logic Programs. Commun. ACM 35 (3) (1992)
Weidong Chen, David Scott Warren
An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP (1991)
Weidong Chen, David Scott Warren
Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP (1991)
Saumya K. Debray, David Scott Warren
Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16 (3) (1990)
R. Ramesh, I. V. Ramakrishnan, David Scott Warren
Automata-Driven Indexing of Prolog Clauses. POPL (1990)
Weidong Chen, David Scott Warren
Abductive Resoning with Structured Data. NACLP (1989)
Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
On the Declarative Semantics of Inheritance Networks. IJCAI (1989)
Weidong Chen, David Scott Warren
C-Logic of Complex Objects. PODS (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog as a Platform for Database Languages. DBPL (1989)
Weidong Chen, Michael Kifer, David Scott Warren
HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12 (3) (1989)
Saumya K. Debray, David Scott Warren
Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11 (3) (1989)
Jiyang Xu, David Scott Warren
A Type Inference System for Prolog. ICLP/SLP (1988)
Weidong Chen, David Scott Warren
Objects as Intensions. ICLP/SLP (1988)
Saumya K. Debray, David Scott Warren
Automatic Mode Inference for Logic Programs. J. Log. Program. 5 (3) (1988)
David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren
PIQUE: a relational query language without relations. Inf. Syst. 12 (3) (1987)
David Scott Warren, Saumya K. Debray
Detection and Optimization of Functional Computations in Prolog. ICLP (1986)
David Maier, David Rozenshtein, David Scott Warren
Window Functions. Adv. Comput. Res. 3 (1986)
Saumya K. Debray, David Scott Warren
Automatic Mode Inference for Prolog Programs. SLP (1986)
David Scott Warren
Database Updates in Pure Prolog. FGCS (1984)
David Scott Warren
Efficient Prolog Memory Management for Flexible Control Strategies. New Gener. Comput. 2 (4) (1984)
Laxmikant V. Kalé, David Scott Warren
A Class of Architectures for a Prolog Machine. ICLP (1984)
David Scott Warren
Efficient Prolog Memory Management for Flexible Control Strategies. SLP (1984)
Edward Sciore, David Scott Warren
Towards an Integrated Database-Prolog System. Expert Database Workshop (1984)
David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé
Executing Distributed Prolog Programs on a Broadcast Network. SLP (1984)
James Clifford, David Scott Warren
Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8 (2) (1983)
David Maier, David Rozenshtein, David Scott Warren
Windows on the World. SIGMOD Conference (1983)
David Scott Warren
Using X-Calculus to Represent Meanings in Logic Grammars. ACL (1983)

David Scott Warren.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Scott Warren