| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren |
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
XSB: Extending Prolog with Tabled Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren |
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
Tabling with Answer Subsumption: Implementation, Applications and Performance. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, David Scott Warren (eds.) |
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hudak, David Scott Warren (eds.) |
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. |
PADL |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
in-network analysis, logical-statistical models, sensor networks |
| 1 | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
XcelLog: a deductive spreadsheet system. |
Knowledge Eng. Review |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Bart Demoen, David Scott Warren |
TCHR: a framework for tabled CLP |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren |
Security policy analysis using deductive spreadsheets. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
SELinux policy, security policy analysis, vulnerability analysis |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
Deductive Spreadsheets Using Tabled Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, David Scott Warren |
Constraint Handling Rules and Tabled Execution. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PPDP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luís Fernando Castro, David Scott Warren |
Approximate Pruning in Tabled Logic Programming. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Fernando Castro, Terrance Swift, David Scott Warren |
Suspending and Resuming Computations in Engines for SLG Evaluation. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The limits of fixed-order computation. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Fernando Castro, David Scott Warren |
An Environment for the Exploration of Non Monotonic Logic Programs. |
WLPE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An abstract machine for efficiently computing queries to well-founded models. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Baoqiu Cui, David Scott Warren |
A System for Tabled Constraint Logic Programming. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
Efficient Access Mechanisms for Tabled Logic Programs. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Baoqiu Cui, David Scott Warren |
Attributed Variables in XSB. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Baoqiu Cui, David Scott Warren |
Multiple Terms in a Tabled Logic Programming System. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Baoqiu Cui, Terrance Swift, David Scott Warren |
A Case Study in Using Preference Logic Grammars for Knowledge Representations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Scheduling in SLG Revisited. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Programming with tabling in XSB. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Taking I/O Seriously: Resolution Reconsidered for Disk. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, David Scott Warren |
Controlling the Search in Tabled Evaluations. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
XSB: A System for Effciently Computing WFS. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
Computation of Stable Models and Its Integration with Logical Query Processing. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
Alternating fixpoint logic, logical query evaluation, logic programming, deductive database, nonmonotonic reasoning, well-founded semantics, stable model semantics |
| 1 | Weidong Chen, David Scott Warren |
Tabled Evaluation With Delaying for General Logic Programs. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
tabled evaluation, program transformations, stable models, well-founded models |
| 1 | Weidong Chen, David Scott Warren |
Predicate Abstractions in Higher-Order Logic Programming. |
New Generation Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Dawson, C. R. Ramakrishnan, David Scott Warren |
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Logic Programming and Databases Integrated at Last? (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
An Abstract Machine for Computing the Well-Founded Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The Limits of Fixed-Order Computation. |
Logic in Databases |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Ramesh, I. V. Ramakrishnan, David Scott Warren |
Automata-Driven Indexing of Prolog Clauses. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Terrance Swift, David Scott Warren |
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, David Scott Warren |
Efficient Execution of HiLog in WAM-based Prolog Implementations. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
Efficient Tabling Mechanisms for Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren |
Exploiting Parallelism in Tabled Evaluations |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
Analysis of SLG-WAM Evaluation of Definite Programs. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, David Scott Warren |
A Portable Compiler for Integrating HiLog into Prolog Systems. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
An Abstract Machine for SLG Resolution: Definite Programs. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
XSB as an Efficient Deductive Database Engine. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
XSB as a Deductive Database. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
A Goal-Oriented Approach to Computing the Well-Founded Semantics. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HILOG: A Foundation for Higher-Order Logic Programming. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scott Warren |
Programming the PTQ Grammar in XSB. |
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Programming the PTQ Grammar in XSB. |
Workshop on Programming with Logic Databases (Book), ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Terrance Swift, David Scott Warren |
The XSB Programming System. |
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hong Gao, David Scott Warren |
A Powerful Evaluation Strategy For CLP Programs. |
PPCP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, Terrance Swift, David Scott Warren |
Goal-Directed Evaluation of Well-Founded Sematics for XSB. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
Query Evaluation under the Well Founded Semantics. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scott Warren |
Memoing for Logic Programs. |
Commun. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
A Goal-Oriented Approach to Computing Well Founded Semantics. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
An Intensional Logic of (Multi-Arity) Set Abstractions. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
Compilation of Predicate Abstractions in Higher-Order Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya K. Debray, David Scott Warren |
Towards Banishing the Cut from Prolog. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time |
| 1 | R. Ramesh, I. V. Ramakrishnan, David Scott Warren |
Automata-Driven Indexing of Prolog Clauses. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog as a Platform for Database Languages. |
IEEE Data Eng. Bull. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Saumya K. Debray, David Scott Warren |
Functional Computations in Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren |
On the Declarative Semantics of Inheritance Networks. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
Abductive Resoning with Structured Data. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog as a Platform for Database Languages. |
DBPL |
1989 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
C-Logic of Complex Objects. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya K. Debray, David Scott Warren |
Automatic Mode Inference for Logic Programs. |
J. Log. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Manchanda, David Scott Warren |
A Logic-based Language for Database Updates. |
Foundations of Deductive Databases and Logic Programming. |
1988 |
DBLP BibTeX RDF |
|
| 1 | David Maier, David Scott Warren |
Computing with Logic: Logic Programming with Prolog |
|
1988 |
RDF |
|
| 1 | Jiyang Xu, David Scott Warren |
A Type Inference System for Prolog. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, David Scott Warren |
Objects as Intensions. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren |
PIQUE: a relational query language without relations. |
Inf. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Maier, David Rozenshtein, David Scott Warren |
Window Functions. |
Advances in Computing Research |
1986 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren, Saumya K. Debray |
Detection and Optimization of Functional Computations in Prolog. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya K. Debray, David Scott Warren |
Automatic Mode Inference for Prolog Programs. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Efficient Prolog Memory Management for Flexible Control Strategies. |
New Generation Comput. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Sciore, David Scott Warren |
Towards an Integrated Database-Prolog System. |
Expert Database Workshop |
1984 |
DBLP BibTeX RDF |
|
| 1 | Laxmikant V. Kalé, David Scott Warren |
A Class of Architectures for a Prolog Machine. |
ICLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Database Updates in Pure Prolog. |
FGCS |
1984 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé |
Executing Distributed Prolog Programs on a Broadcast Network. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | David Scott Warren |
Efficient Prolog Memory Management for Flexible Control Strategies. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | James Clifford, David Scott Warren |
Formal Semantics for Time in Databases. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
relational database, entity-relationship model, historical databases, temporal semantics, intensional logic |
| 1 | David Scott Warren |
Using X-Calculus to Represent Meanings in Logic Grammars. |
ACL |
1983 |
DBLP BibTeX RDF |
|
| 1 | David Maier, David Rozenshtein, David Scott Warren |
Windows on the World. |
SIGMOD Conference |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | David Scott Warren, Joyce Friedman |
Using Semantics in Non-Context-Free Parsing of Montague Grammar. |
American Journal of Computational Linguistics |
1982 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Maier, David Scott Warren |
Specifying Connections for a Universal Relation Scheme Database. |
SIGMOD Conference |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark A. Jones, David Scott Warren |
Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. |
AAAI |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")