Follow
Ari Jonsson
Ari Jonsson
Verified email at ru.is
Title
Cited by
Cited by
Year
Planning in Interplanetary Space: Theory and Practice.
AK Jónsson, PH Morris, N Muscettola, K Rajan, BD Smith
AIPS, 177-186, 2000
4492000
Bridging the gap between planning and scheduling
DE Smith, J Frank, AK Jónsson
The Knowledge Engineering Review 15 (1), 47-83, 2000
4362000
Constraint-based attribute and interval planning
J Frank, A Jónsson
Constraints 8, 339-364, 2003
3562003
Planning and scheduling for fleets of earth observing satellites
J Frank, A Jonsson, R Morris, DE Smith, P Norvig
International Symposium on Artificial Intelligence, Robotics, Automation and …, 2001
2802001
Mapgen: mixed-initiative planning and scheduling for the mars exploration rover mission
M Ai-Chang, J Bresina, L Charest, A Chase, JCJ Hsu, A Jonsson, ...
IEEE Intelligent Systems 19 (1), 8-12, 2004
2622004
Activity Planning for the Mars Exploration Rovers.
JL Bresina, AK Jónsson, PH Morris, K Rajan
ICAPS 2005, 40-49, 2005
2162005
Aspen-automated planning and scheduling for space mission operations
S Chien, G Rabideau, R Knight, R Sherwood, B Engelhardt, D Mutz, ...
Space Ops 82, 2000
1352000
Plan execution interchange language (PLEXIL) for executable plans and command sequences
V Verma, T Estlin, A Jónsson, C Pasareanu, R Simmons, K Tso
International symposium on artificial intelligence, robotics and automation …, 2005
1042005
Universal-executive and PLEXIL: engine and language for robust spacecraft control and operations
V Verma, A Jonsson, C Pasareanu, M Iatauro
Space 2006, 7449, 2006
692006
Autonomy in space: Current capabilities and future challenge
A Jónsson, RA Morris, L Pedersen
AI magazine 28 (4), 27-27, 2007
672007
The future of AI in space
S Chien, R Doyle, AG Davies, A Jonsson, R Lorenz
IEEE Intelligent Systems 21 (4), 64-69, 2006
592006
Cyclic scheduling
DL Draper, AK Jonsson, DP Clements, DE Joslin
IJCAI, 1016-1021, 1999
591999
System and process for job scheduling using limited discrepancy search
ML Ginsberg, WD Harvey, JM Crawford, AK Jonsson, JC Pemberton
US Patent 6,070,144, 2000
522000
Mixed-initiative planning in MAPGEN: Capabilities and shortcomings
JL Bresina, AK Jónsson, PH Morris, K Rajan
Workshop on Mixed-Initiative Planning and Scheduling, 2005
482005
Verification of autonomous systems for space applications
G Brat, E Denney, D Giannakopoulou, J Frank, A Jónsson
2006 IEEE Aerospace Conference, 11 pp., 2006
462006
A framework for dynamic constraint reasoning using procedural constraints
AK Jónsson, JD Frank
421999
Survey of command execution systems for NASA spacecraft and robots
V Verma, A Jónsson, R Simmons, T Estlin, R Levinson
International Conference on Automated Planning and Scheduling 2005, 2005
412005
Advances in planning and scheduling of remote sensing instruments for fleets of earth orbiting satellites
J Dungan, J Frank, A Jónsson, R Morris, D Smith
Earth Science Technology Conference, 2002
322002
On reformulating planning as dynamic constraint satisfaction
J Frank, AK Jónsson, P Morris
International Symposium on Abstraction, Reformulation, and Approximation …, 2000
292000
Challenges in verification and validation of autonomous systems for space exploration
G Brat, A Jonsson
Proceedings. 2005 IEEE International Joint Conference on Neural Networks …, 2005
272005
The system can't perform the operation now. Try again later.
Articles 1–20