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, P Norvig
4172000
Planning in Interplanetary Space: Theory and Practice.
AK Jónsson, PH Morris, N Muscettola, K Rajan, BD Smith
AIPS, 177-186, 2000
4162000
Constraint-based attribute and interval planning
J Frank, A Jónsson
Constraints 8 (4), 339-364, 2003
3122003
Planning and scheduling for fleets of earth observing satellites
J Frank, A Jonsson, R Morris, DE Smith, P Norvig
2322001
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
2152004
Activity Planning for the Mars Exploration Rovers.
JL Bresina, AK Jónsson, PH Morris, K Rajan
ICAPS, 40-49, 2005
1712005
Automated planning & scheduling for space mission operations
S Chien, A Jonsson, R Knight
Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space …, 2005
1172005
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
822005
Cyclic scheduling
DL Draper, AK Jonsson, DP Clements, DE Joslin
IJCAI, 1016-1021, 1999
541999
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
492006
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
472000
Mixed-initiative planning in MAPGEN: Capabilities and shortcomings
JL Bresina, AK Jónsson, PH Morris, K Rajan
442005
Autonomy in space: Current capabilities and future challenge
A Jónsson, RA Morris, L Pedersen
AI magazine 28 (4), 27-27, 2007
412007
A framework for dynamic constraint reasoning using procedural constraints
AK Jónsson, JD Frank
411999
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
352006
The future of AI in space
S Chien, R Doyle, AG Davies, A Jonsson, R Lorenz
IEEE Intelligent Systems 21 (4), 64-69, 2006
342006
Survey of command execution systems for NASA spacecraft and robots
V Verma, A Jónsson, R Simmons, T Estlin, R Levinson
342005
On reformulating planning as dynamic constraint satisfaction
J Frank, AK Jónsson, P Morris
International Symposium on Abstraction, Reformulation, and Approximation …, 2000
292000
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
272002
Mixed-initiative activity planning for mars rovers
J Bresina, A Jónsson, P Morris, K Rajan
252005
The system can't perform the operation now. Try again later.
Articles 1–20