The following pages link to David S. Warren (Q1096422):
Displaying 31 items.
- (Q197408) (redirect page) (← links)
- PIQUE: a relational query language without relations (Q1096423) (← links)
- lambda-normal forms in an intensional logic for English (Q1150588) (← links)
- (Q2767081) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- Efficient top-down computation of queries under the well-founded semantics (Q3125898) (← links)
- (Q3200591) (← links)
- TCHR: a framework for tabled CLP (Q3514891) (← links)
- Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (Q3585156) (← links)
- (Q3725518) (← links)
- Automatic mode inference for logic programs (Q3792215) (← links)
- HiLog: A foundation for higher-order logic programming (Q4036287) (← links)
- (Q4039734) (← links)
- A parsing method for montague grammars (Q4170266) (← links)
- Efficient access mechanisms for tabled logic programs (Q4223452) (← links)
- (Q4259968) (← links)
- A goal-oriented approach to computing the well-founded semantics (Q4275261) (← links)
- (Q4287476) (← links)
- Tabled evaluation with delaying for general logic programs (Q4371515) (← links)
- (Q4417884) (← links)
- (Q4499264) (← links)
- An abstract machine for efficiently computing queries to well-founded models (Q4507851) (← links)
- Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824) (← links)
- (Q4583749) (← links)
- An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
- Formal semantics for time in databases (Q4747564) (← links)
- Tabling with Answer Subsumption: Implementation, Applications and Performance (Q4930773) (← links)
- Logic Programming (Q5313215) (← links)
- Deductive Spreadsheets Using Tabled Logic Programming (Q5449616) (← links)
- (Q5691457) (← links)
- The limits of fixed-order computation (Q5940930) (← links)