Procedural Reasoning in Constraint Satisfaction. - Ari K. Jónsson; Matthew L. Ginsberg (KR, 1996)

Procedural reasoning in constraint satisfaction. - Ari Kristinn Jónsson (1997)

Cyclic Scheduling. - Denise Draper; Ari K. Jónsson; David P. Clements; David E. Joslin (IJCAI, 1999)

Planning in Interplanetary Space: Theory and Practice. - Ari K. Jónsson; Paul H. Morris; Nicola Muscettola; Kanna Rajan; Benjamin D. Smith (AIPS, 2000)

A Framework for Dynamic Constraint Reasoning using Procedural Constraints. - Ari K. Jónsson; Jeremy Frank (ECAI, 2000)

On Reformulating Planning as Dynamic Constraint Satisfaction. - Jeremy Frank; Ari K. Jónsson; Paul H. Morris (SARA, 2000)

The Logic of Reachability. - David E. Smith 001; Ari K. Jónsson (AIPS, 2002)

Constraint-Based Attribute and Interval Planning. - Jeremy Frank; Ari K. Jónsson (Constraints An Int. J., 2003)

MAPGEN: Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission. - Mitchell Ai-Chang; John L. Bresina; Leonard Charest; Adam Chase; Jennifer Cheng-jung Hsu; Ari K. Jónsson; Bob Kanefsky; Paul H. Morris; Kanna Rajan; Jeffrey Yglesias; Brian G. Chafin; William C. Dias; et al. (IEEE Intell. Syst., 2004)

Activity Planning for the Mars Exploration Rovers. - John L. Bresina; Ari K. Jónsson; Paul H. Morris; Kanna Rajan (ICAPS, 2005)

Mixed-Initiative Activity Planning for Mars Rovers. - John L. Bresina; Ari K. Jónsson; Paul H. Morris; Kanna Rajan (IJCAI, 2005)

Challenges in verification and validation of autonomous systems for space exploration. - Guillaume Brat; Ari K. Jónsson (IJCNN, 2005)

Simulation-based planning for planetary rover experiments. - David Joslin 002; Jeremy Frank; Ari K. Jónsson; David E. Smith 001 (WSC, 2005)

The Future of AI in Space. - Steve A. Chien; Richard J. Doyle; Ashley Gerard Davies; Ari K. Jónsson; Ralph D. Lorenz (IEEE Intell. Syst., 2006)

Reports on the 2006 AAAI Fall Symposia. - Joshua Clifford Bongard; Derek P. Brock; Samuel G. Collins; Ramani Duraiswami; Tim Finin; Ian Harrison; Vasant G. Honavar; Gregory S. Hornby; Ari K. Jónsson; Mike Kassoff; David Kortenkamp; Sanjeev Kumar; et al. (AI Mag., 2007)

Autonomy in Space: Current Capabilities and Future Challenge. - Ari K. Jónsson; Robert A. Morris 001; Liam Pedersen (AI Mag., 2007)

Approximation Algorithms and Heuristics for Classical Planning. - Jeremy Frank; Ari K. Jónsson (Handbook of Approximation Algorithms and Metaheuristics, 2007)

Developing interactive artificial intelligence software for NASA mission control. - Ari Kristinn Jónsson (NordiCHI, 2010)

Planning solar array operations on the international space station. - Sudhakar Y. Reddy; Jeremy Frank; Michael Iatauro; Matthew E. Boyce; Elif Kürklü; Mitchell Ai-Chang; Ari K. Jónsson (ACM Trans. Intell. Syst. Technol., 2011)