The following pages link to (Q4296171):
Displayed 27 items.
- The problem of demodulator adjunction (Q688566) (← links)
- Steps toward a computational metaphysics (Q877243) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- The problem of naming and function replacement (Q1311398) (← links)
- The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
- The problem of reasoning by analogy (Q1311406) (← links)
- The problem of selecting an approach based on prior success (Q1311414) (← links)
- The problem of automated theorem finding (Q1312164) (← links)
- SET-VAR (Q1319383) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- The problem of induction (Q1319388) (← links)
- The problem of reasoning by case analysis (Q1319394) (← links)
- Basic research problems: The problem of strategy and hyperresolution (Q1332645) (← links)
- The problem of hyperparamodulation (Q1337565) (← links)
- The problem of hyperparamodulation and nuclei (Q1340968) (← links)
- Towards automating duality (Q1343394) (← links)
- The resonance strategy (Q1343396) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Automated Puzzle Solving (Q3647313) (← links)
- Partial matching for analogy discovery in proofs and counter-examples (Q5234724) (← links)
- Building proofs or counterexamples by analogy in a resolution framework (Q5235252) (← links)
- Constructing Craig interpolation formulas (Q6085706) (← links)