David Scott Warren - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

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

Tabling with Answer Subsumption: Implementation, Applications and PerformanceTerrance Swift, David Scott Warren. jelia 2010: 300-312 [doi]

2009

Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. ProceedingsPatricia M. Hill, David Scott Warren, editors, Volume 5649 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008Paul Hudak, David Scott Warren, editors, Volume 4902 of Lecture Notes in Computer Science, Springer, 2008.

TCHR: a framework for tabled CLPTom Schrijvers, Bart Demoen, David Scott Warren. tplp, 8(4):491-526, 2008. [doi]

A methodology for in-network evaluation of integrated logical-statistical modelsAnu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong. sensys 2008: 197-210 [doi]

2007

XcelLog: a deductive spreadsheet systemC. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren. ker, 22(3):269-279, 2007. [doi]

Security policy analysis using deductive spreadsheetsAnu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren. ccs 2007: 42-50 [doi]

2006

Toward a Multi-Analyst, Collaborative Framework for Visual AnalyticsSusan E. Brennan, Klaus Mueller, Greg Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman. ieeevast 2006: 129-136 [doi]

Deductive Spreadsheets Using Tabled Logic ProgrammingC. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren. ICLP 2006: 391-405 [doi]

2004

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, ItalyEugenio Moggi, David Scott Warren, editors, ACM, 2004.

Constraint Handling Rules and Tabled ExecutionTom Schrijvers, David Scott Warren. ICLP 2004: 120-136 [doi]

2003

Approximate Pruning in Tabled Logic ProgrammingLuís Fernando Castro, David Scott Warren. ESOP 2003: 69-83 [doi]

2002

Suspending and Resuming Computations in Engines for SLG EvaluationLuís Fernando Castro, Terrance Swift, David Scott Warren. padl 2002: 332-350 [doi]

Ensuring the Consistency of Self-Reported Data: A Case StudyHasan Davulcu, Jennifer Jones, L. Robert Pokorny, Chris Rued, Terrance Swift, Tatyana Vidrevich, David Scott Warren. iq 2002: 155-166

2001

An Environment for the Exploration of Non Monotonic Logic ProgramsLuís Fernando Castro, David Scott Warren. lpe 2001: [doi]

The limits of fixed-order computationKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. TCS, 254(1-2):465-499, 2001. [doi]

2000

A System for Tabled Constraint Logic ProgrammingBaoqiu Cui, David Scott Warren. cl 2000: 478-492 [doi]

An abstract machine for efficiently computing queries to well-founded modelsKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. jlp, 45(1-3):1-41, 2000.

1999

1998

1997

1996

Tabled Evaluation With Delaying for General Logic ProgramsWeidong Chen, David Scott Warren. JACM, 43(1):20-74, 1996. [doi]

Computation of Stable Models and Its Integration with Logical Query ProcessingWeidong Chen, David Scott Warren. tkde, 8(5):742-757, 1996. [doi]

Predicate Abstractions in Higher-Order Logic ProgrammingWeidong Chen, David Scott Warren. ngc, 14(2):195-236, 1996.

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

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

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

The Limits of Fixed-Order ComputationKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. lid 1996: 343-363

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

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

1995

Efficient Top-Down Computation of Queries under the Well-Founded SemanticsWeidong Chen, Terrance Swift, David Scott Warren. jlp, 24(3):161-199, 1995.

Unification Factoring for Efficient Execution of Logic ProgramsSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren. POPL 1995: 247-258

Exploiting Parallelism in Tabled EvaluationsJuliana Freire, Rui Hu, Terrance Swift, David Scott Warren. plilp 1995: 115-132

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

Automata-Driven Indexing of Prolog ClausesR. Ramesh, I. V. Ramakrishnan, David Scott Warren. jlp, 23(2):151-202, 1995.

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

1994

Parallelizing Tabled Evaluations (Extended Abstract)Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren. slp 1994: 18-31

Dynamic Argument Reduction for In-memory Data QueriesPrasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren. deductive 1994: 117-129

XSB as an Efficient Deductive Database EngineKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. sigmod 1994: 442-453 [doi]

XSB as a Deductive DatabaseKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. sigmod 1994: 512 [doi]

A Portable Compiler for Integrating HiLog into Prolog SystemsKonstantinos F. Sagonas, David Scott Warren. slp 1994: 682

An Abstract Machine for SLG Resolution: Definite ProgramsTerrance Swift, David Scott Warren. slp 1994: 633-652

Analysis of SLG-WAM Evaluation of Definite ProgramsTerrance Swift, David Scott Warren. slp 1994: 219-235

1993

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

Query Evaluation under the Well Founded SemanticsWeidong Chen, David Scott Warren. pods 1993: 168-179 [doi]

HILOG: A Foundation for Higher-Order Logic ProgrammingWeidong Chen, Michael Kifer, David Scott Warren. jlp, 15(3):187-230, 1993.

A Goal-Oriented Approach to Computing the Well-Founded SemanticsWeidong Chen, David Scott Warren. jlp, 17(2/3&4):279-300, 1993.

A Powerful Evaluation Strategy For CLP ProgramsHong Gao, David Scott Warren. ppcp 1993: 90-97

The XSB Programming SystemKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. deductive 1993: 164

Programming the PTQ Grammar in XSBDavid Scott Warren. deductive 1993: 217-234

Programming the PTQ Grammar in XSBDavid Scott Warren. deductive 1993: 111-123

1992

A Goal-Oriented Approach to Computing Well Founded SemanticsWeidong Chen, David Scott Warren. ICLP 1992: 589-603

Memoing for Logic ProgramsDavid Scott Warren. CACM, 35(3):93-111, 1992.

1991

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

Compilation of Predicate Abstractions in Higher-Order Logic ProgrammingWeidong Chen, David Scott Warren. plilp 1991: 287-298

1990

Towards Banishing the Cut from PrologSaumya K. Debray, David Scott Warren. TSE, 16(3):335-349, 1990. [doi]

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

1989

1988

Objects as IntensionsWeidong Chen, David Scott Warren. ICLP 1988: 404-419

Automatic Mode Inference for Logic ProgramsSaumya K. Debray, David Scott Warren. jlp, 5(3):207-229, 1988.

Computing with Logic: Logic Programming with PrologDavid Maier, David Scott Warren. Benjamin/Cummings, 1988.

A Logic-based Language for Database UpdatesSanjay Manchanda, David Scott Warren. In Foundations of Deductive Databases and Logic Programming.. pages 363-394, 1988.

A Type Inference System for PrologJiyang Xu, David Scott Warren. ICLP 1988: 604-619

1987

PIQUE: a relational query language without relationsDavid Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren. is, 12(3):317-335, 1987.

1986

Automatic Mode Inference for Prolog ProgramsSaumya K. Debray, David Scott Warren. slp 1986: 78-88

Window FunctionsDavid Maier, David Rozenshtein, David Scott Warren. acr, 3:213-246, 1986.

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

1984

1983

Formal Semantics for Time in DatabasesJames Clifford, David Scott Warren. tods, 8(2):214-254, 1983. [doi]

Windows on the WorldDavid Maier, David Rozenshtein, David Scott Warren. sigmod 1983: 68-78 [doi]

1982

1981

Formal Semantics for Time in DatabasesJames Clifford, David Scott Warren. xp 1981:

Incorporating Computed Relations in Relational DatabasesDavid Maier, David Scott Warren. sigmod 1981: 176-187 [doi]