Ari K. Jónsson

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
Planning solar array operations on the international space station.
ACM TIST, 2011

2010
Developing interactive artificial intelligence software for NASA mission control.
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010

2007
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

2006
The Future of AI in Space.
IEEE Intelligent Systems, 2006

2005
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

2004
MAPGEN: Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission.
IEEE Intelligent Systems, 2004

2003
Constraint-Based Attribute and Interval Planning.
Constraints, 2003

2002
The Logic of Reachability.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2000
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

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

1996
Procedural Reasoning in Constraint Satisfaction.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996


  Loading...