The following pages link to Richard Fikes (Q1127343):
Displaying 6 items.
- Automated model selection for simulation based on relevance reasoning (Q1127344) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- Saying more with frames: Slots as classes (Q1202684) (← links)
- (Q2541848) (redirect page) (← links)
- REF-ARF: A system for solving problems stated as procedures (Q2541849) (← links)
- STRIPS: A new approach to the application of theorem proving to problem solving (Q2551696) (← links)
