The following pages link to Terrance Swift (Q1603736):
Displaying 20 items.
- (Q197407) (redirect page) (← links)
- Preference Logic Grammars: Fixed point semantics and application to data standardization (Q1603737) (← links)
- Tabling for non-monotonic programming (Q1978007) (← links)
- (Q2767155) (← links)
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions (Q2883089) (← links)
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)
- Query-Driven Procedures for Hybrid MKNF Knowledge Bases (Q2946701) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434) (← links)
- Splitting and updating hybrid knowledge bases (Q3087461) (← links)
- Efficient top-down computation of queries under the well-founded semantics (Q3125898) (← links)
- Efficient access mechanisms for tabled logic programs (Q4223452) (← links)
- (Q4259968) (← links)
- (Q4494318) (← links)
- An abstract machine for efficiently computing queries to well-founded models (Q4507851) (← links)
- An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- Tabling with Answer Subsumption: Implementation, Applications and Performance (Q4930773) (← links)
- (Q4955340) (← links)
