#### Filter Results:

- Full text PDF available (92)

#### Publication Year

1973

2017

- This year (1)
- Last 5 years (6)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Theresa Swift, David Scott Warren
- TPLP
- 2012

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Pro-for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when… (More)

- Weidong Chen, Michael Kifer, David Scott Warren
- J. Log. Program.
- 1993

D We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a… (More)

- Konstantinos Sagonas, Theresa Swift, David Scott Warren
- SIGMOD Conference
- 1994

This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deficiencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing)[4], which makes it appropriate as… (More)

- Weidong Chen, Theresa Swift, David Scott Warren
- J. Log. Program.
- 1995

> The well-founded model provides a natural and robust semantics for logic programs with negative literals in rule bodies. Although various procedural semantics have been proposed for query evaluation under the well-founded semantics, the practical issues of implementation for eeective and eecient computation of queries have been rarely discussed. This… (More)

- Weidong Chen, David Scott Warren
- IEEE Trans. Knowl. Data Eng.
- 1996

The well-founded semantics and the stable model semantics capture intuitions of the skeptical and credulous semantics in nonmonotonic reasoning, respectively. They represent the two dominant proposals for the declarative semantics of deductive databases and logic programs. However, neither semantics seems to be suitable for all applications. We have… (More)

- Saumya K. Debray, David Scott Warren
- SLP
- 1986

- David Scott Warren
- Commun. ACM
- 1992

T he power of logic programming (LP) comes from the synergism between the logic (declarativeness) and the programming (proce-durality [13, 37]. From the logic point of view, a program is a set of sentences in a given logic. In this declarative view, answers are logical consequences of the program as a set of statements in the logic. And logical consequence… (More)

- Weidong Chen, Michael Kifer, David Scott Warren
- NACLP
- 1989