Ari K. Jónsson
According to our database1, Ari K. Jónsson authored at least 17 papers between 1996 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Planning solar array operations on the international space station.
ACM TIST, 2011
Developing interactive artificial intelligence software for NASA mission control.
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010
Approximation Algorithms and Heuristics for Classical Planning.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
Autonomy in Space: Current Capabilities and Future Challenge.
AI Magazine, 2007
Reports on the 2006 AAAI Fall Symposia.
AI Magazine, 2007
The Future of AI in Space.
IEEE Intelligent Systems, 2006
Simulation-based planning for planetary rover experiments.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005
Mixed-Initiative Activity Planning for Mars Rovers.
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.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005
MAPGEN: Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission.
IEEE Intelligent Systems, 2004
Constraint-Based Attribute and Interval Planning.
The Logic of Reachability.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002
On Reformulating Planning as Dynamic Constraint Satisfaction.
Proceedings of the Abstraction, 2000
A Framework for Dynamic Constraint Reasoning using Procedural Constraints.
Proceedings of the ECAI 2000, 2000
Planning in Interplanetary Space: Theory and Practice.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Procedural Reasoning in Constraint Satisfaction.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996