Ari Jonsson
Ari Jonsson
Verified email at ru.is
Title
Cited by
Cited by
Year
Bridging the gap between planning and scheduling
DE Smith, J Frank, AK Jónsson
The Knowledge Engineering Review 15 (1), 47-83, 2000
4262000
Planning in Interplanetary Space: Theory and Practice.
AK Jónsson, PH Morris, N Muscettola, K Rajan, BD Smith
AIPS, 177-186, 2000
4222000
Constraint-based attribute and interval planning
J Frank, A Jónsson
Constraints 8 (4), 339-364, 2003
3182003
Planning and scheduling for fleets of earth observing satellites
J Frank, A Jonsson, R Morris, D Smith
Proceedings of the sixth international symposium on artificial intelligence …, 2001
2622001
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
2352004
Activity Planning for the Mars Exploration Rovers.
JL Bresina, AK Jónsson, PH Morris, K Rajan
ICAPS 2005, 40-49, 2005
1862005
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
842005
Cyclic scheduling
DL Draper, AK Jonsson, DP Clements, DE Joslin
IJCAI, 1016-1021, 1999
591999
Universal-executive and PLEXIL: engine and language for robust spacecraft control and operations
V Verma, A Jónsson, C Pasareanu, M Iatauro
Space 2006, 7449, 2006
552006
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
492000
Mixed-initiative planning in MAPGEN: Capabilities and shortcomings
JL Bresina, AK Jónsson, PH Morris, K Rajan
Proceedings of the ICAPS-05 Workshop on Mixed-initiative Planning and …, 2005
472005
Autonomy in space: Current capabilities and future challenge
A Jónsson, RA Morris, L Pedersen
AI magazine 28 (4), 27-27, 2007
462007
The future of AI in space
S Chien, R Doyle, AG Davies, A Jonsson, R Lorenz
IEEE Intelligent Systems 21 (4), 64-69, 2006
432006
A framework for dynamic constraint reasoning using procedural constraints
AK Jónsson, J Frank
ECAI 2000, 93-97, 2000
422000
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
382006
Survey of command execution systems for NASA spacecraft and robots
V Verma, A Jónsson, R Simmons, T Estlin, R Levinson
Plan Execution: A Reality Check. Workshop at The International Conference on …, 2005
362005
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
302002
On reformulating planning as dynamic constraint satisfaction
J Frank, AK Jónsson, P Morris
International Symposium on Abstraction, Reformulation, and Approximation …, 2000
292000
Mixed-Initiative Activity Planning for Mars Rovers.
JL Bresina, AK Jónsson, PH Morris, K Rajan
IJCAI, 1709-1710, 2005
252005
Plan execution interchange language (PLEXIL)
T Estlin, A Jónsson, C Pasareanu, R Simmons, K Tso, V Verma
NASA Technical Memorandum, 2006
212006
The system can't perform the operation now. Try again later.
Articles 1–20