Similar Items: Efficient Open World Reasoning for Planning
- Footprints in Local Reasoning
- Efficient Legged Robot Locomotion Through Optimized Gait Planning for Unstructured Planetary Terrain
- Reasoning about Strategies: on the Satisfiability Problem
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- Approximate reasoning for real-time probabilistic processes
- Coinductive Formal Reasoning in Exact Real Arithmetic