The following pages link to Lenhart K. Schubert (Q1342228):
Displaying 19 items.
- On point-based temporal disjointness (Q1342229) (← links)
- (Q1575432) (redirect page) (← links)
- A computational model of belief (Q1575433) (← links)
- Efficient algorithms for qualitative reasoning about time (Q1855212) (← links)
- Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I (Q2188783) (← links)
- The situations we talk about (Q2734947) (← links)
- (Q3493320) (← links)
- Representative samples of programmable functions (Q4060363) (← links)
- Iterated Limiting Recursion and the Program Minimization Problem (Q4122796) (← links)
- Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change (Q4316299) (← links)
- (Q4342071) (← links)
- (Q4518427) (← links)
- (Q4552503) (← links)
- (Q4552505) (← links)
- The TRAINS project: a case study in building a conversational planning agent (Q4834393) (← links)
- (Q4934656) (← links)
- Modification of a Quasi-Newton Method for Nonlinear Equations with a Sparse Jacobian (Q5595537) (← links)
- Numerical Study of Sound Refraction by a Jet Flow. I. Ray Acoustics (Q5668558) (← links)
- Monotonic inference with unscoped episodic logical forms: from principles to system (Q6538477) (← links)
