Pages that link to "Item:Q809627"

The following pages link to Basic research problems: The problem of choosing the representation, inference rule, and strategy (Q809627):

Displaying 8 items.

• The problem of demodulation during inference rule application (Q688553) (← links)
• The problem of choosing the type of subsumption to use (Q809628) (← links)
• The problem of reasoning from inequalities (Q1195540) (← links)
• The problem of naming and function replacement (Q1311398) (← links)
• The problem of reasoning by analogy (Q1311406) (← links)
• The problem of selecting an approach based on prior success (Q1311414) (← links)
• The problem of induction (Q1319388) (← links)
• Basic research problems: The problem of strategy and hyperresolution (Q1332645) (← links)