127 citations · 135 across the 3 of their papers we have counts for
3 papers
cs.AI2025
Planning Ahead with RSA: Efficient Signalling in Dynamic Environments by Projecting User Awareness across Future Timesteps
Anwesha Das, John Duff, Jörg Hoffmann +1
Adaptive agent design offers a way to improve human-AI collaboration on time-sensitive tasks in rapidly changing environments. In such cases, to ensure the human maintains an accur…
cs.AI2011★ 127 cited
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm
J. Hoffmann, J. Koehler
The paper addresses the problem of computing goal orderings, which is one of the longstanding issues in AI planning. It makes two new contributions. First, it formally defines and…
cs.AI2007★ 8 cited
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning
Joerg Hoffmann, Carla Gomes, Bart Selman
In Verification and in (optimal) AI Planning, a successful method is to formulate the application as boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based pro…