Controlling the Search in Tabled Evaluations.

Juliana Freire , David Scott Warren
ILPS 409

1997
Ensuring the Consistency of Self-Reported Data: A Case Study.

Hasan Davulcu , Jennifer Jones , L Robert Pokorny , Chris Rued
ICIQ 155 -166

2
2002
Abductive Resoning with Structured Data.

Weidong Chen , David Scott Warren
NACLP 851 -867

1989
Efficient Execution of HiLog in WAM-based Prolog Implementations.

Konstantinos F. Sagonas , David Scott Warren
international conference on lightning protection 349 -363

10
1995
A Class of Architectures for a Prolog Machine.

Laxmikant V. Kalé , David Scott Warren
international conference on lightning protection 171 -182

5
1984
13
1979
A Powerful Evaluation Strategy For CLP Programs.

Hong Gao , David Scott Warren
PPCP 90 -97

2
1993
Using semantics in non-context-free parsing of montague grammar

David Scott Warren , Joyce Friedman
Computational Linguistics 8 ( 3) 123 -138

11
1982
Formal Semantics for Time in Databases.

David Scott Warren , James Clifford
XP2 Workshop on Relational Database Theory

354
1981
Who Shaves the Barber, and with What Probability?

Spyros Hadjichristodoulou , David Scott Warren
soft computing 22 41 -58

2014
A logic-based language for database updates

Sanjay Manchanda , David Scott Warren
Foundations of deductive databases and logic programming 363 -394

84
1988
Compilation of predicate abstractions in higher-order logic programming

Weidong Chen , David Scott Warren
international symposium on programming language implementation and logic programming 287 -298

2
1991
Efficient Prolog memory management for flexible control strategies

David Scott Warren
New Generation Computing 2 ( 4) 361 -369

57
1984
Predicate abstractions in higher-order logic programming

Weidong Chen , David Scott Warren
New Generation Computing 14 ( 2) 195 -236

1996
Toward logical data independence: a relational query language without relations

David Maier , David Rozenshtein , S Salveter , Jacob Stein
51 -60

57
1982
The SB-Prolog System, Version 2.3. 2: A User Manual

David Scott Warren , Suzanne Dietrich , Fernando Pereira , Saumya K Debray
Department of Computer Science, University of Arizona

5
1988
Automata-driven indexing of Prolog clauses

R Ramesh , IV Ramakrishnan , David Scott Warren
281 -291

37
1989
Database updates in pure Prolog

David Scott Warren
FGCS 244 -253

86
1984
An Abstract Machine for SLG Resolution: Definite Programs.

Terrance Swift , David Scott Warren
ILPS 633 -652

76
1994