Pages that link to "Item:Q1978007"

The following pages link to Tabling for non-monotonic programming (Q1978007):

Displaying 8 items.

• Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
• Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
• An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
• Preference Logic Grammars: Fixed point semantics and application to data standardization (Q1603737) (← links)
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
• Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
• XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434) (← links)