The following pages link to (Q4012176):
Displaying 13 items.
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Generalized resolution and NC-resolution (Q1331227) (← links)
- The semantics of answer literals (Q1357665) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- A unifying principle for clause elimination in first-order logic (Q2405255) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- QUANTIZED DETECTOR NETWORKS: A REVIEW OF RECENT DEVELOPMENTS (Q3528639) (← links)
- Deductive generalization for clause logic (Q3976573) (← links)
- (Q4261066) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- CLP(ℛ) as a general finite element model definition language (Q4861033) (← links)
- (Q5128050) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
