Ari K. Jónsson

According to our database, Ari K. Jónsson authored at least 19 papers between 1996 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

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

2010

Developing interactive artificial intelligence software for NASA mission control.

Ari Kristinn Jónsson

Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010

2007

Approximation Algorithms and Heuristics for Classical Planning.

Jeremy Frank, Ari K. Jónsson

Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Autonomy in Space: Current Capabilities and Future Challenge.

Ari K. Jónsson, Robert A. Morris, Liam Pedersen

AI Mag., 2007

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, Ken Murray, Alexander I. Rudnicky, Goran Trajkovski

AI Mag., 2007

2006

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

2005

Simulation-based planning for planetary rover experiments.

David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Challenges in verification and validation of autonomous systems for space exploration.

Guillaume Brat, Ari K. Jónsson

Proceedings of the IEEE International Joint Conference on Neural Networks, 2005

Mixed-Initiative Activity Planning for Mars Rovers.

John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Activity Planning for the Mars Exploration Rovers.

John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

2004

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, Pierre F. Maldague

IEEE Intell. Syst., 2004

2003

Constraint-Based Attribute and Interval Planning.

Jeremy Frank, Ari K. Jónsson

Constraints An Int. J., 2003

2002

The Logic of Reachability.

David E. Smith, Ari K. Jónsson

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2000

On Reformulating Planning as Dynamic Constraint Satisfaction.

Jeremy Frank, Ari K. Jónsson, Paul H. Morris

Proceedings of the Abstraction, 2000

A Framework for Dynamic Constraint Reasoning using Procedural Constraints.

Ari K. Jónsson, Jeremy Frank

Proceedings of the ECAI 2000, 2000

Planning in Interplanetary Space: Theory and Practice.

Ari K. Jónsson, Paul H. Morris, Nicola Muscettola, Kanna Rajan, Benjamin D. Smith

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

Cyclic Scheduling.

Denise Draper, Ari K. Jónsson, David P. Clements, David Joslin

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1997

Procedural reasoning in constraint satisfaction.

Ari Kristinn Jónsson

PhD thesis, 1997

1996

Procedural Reasoning in Constraint Satisfaction.

Ari K. Jónsson, Matthew L. Ginsberg

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996