David S. Warren

Available identifiers

zbMath Open warren.david-scottWikidataQ102116444 ScholiaQ102116444MaRDI QIDQ1096422

List of research outcomes

Publication	Date of Publication	Type
An abstract machine for fixed-order dynamically stratified programs	2019-01-15	Paper
Top-down and Bottom-up Evaluation Procedurally Integrated	2018-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4583749	2018-09-03	Paper
XSB: Extending Prolog with Tabled Logic Programming	2012-06-25	Paper
Tabling with Answer Subsumption: Implementation, Applications and Performance	2010-10-01	Paper
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling	2010-08-19	Paper
TCHR: a framework for tabled CLP	2008-07-23	Paper
Deductive Spreadsheets Using Tabled Logic Programming	2008-03-11	Paper
Logic Programming	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4417884	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767081	2002-01-28	Paper
The limits of fixed-order computation	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499264	2001-03-06	Paper
An abstract machine for efficiently computing queries to well-founded models	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4259968	1999-09-09	Paper
Efficient access mechanisms for tabled logic programs	1999-05-04	Paper
Tabled evaluation with delaying for general logic programs	1998-01-19	Paper
Efficient top-down computation of queries under the well-founded semantics	1997-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5691457	1997-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4287476	1994-06-13	Paper
A goal-oriented approach to computing the well-founded semantics	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4039734	1993-06-05	Paper
HiLog: A foundation for higher-order logic programming	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3200591	1989-01-01	Paper
Automatic mode inference for logic programs	1988-01-01	Paper
PIQUE: a relational query language without relations	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725518	1986-01-01	Paper
Formal semantics for time in databases	1983-01-01	Paper
lambda-normal forms in an intensional logic for English	1980-01-01	Paper
A parsing method for montague grammars	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David S. Warren