The following pages link to (Q4012176):
Displaying 5 items.
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Generalized resolution and NC-resolution (Q1331227) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- QUANTIZED DETECTOR NETWORKS: A REVIEW OF RECENT DEVELOPMENTS (Q3528639) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
