Author image not provided
 Ari Kristinn Jónsson

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article11.17
Citation Count201
Publication count18
Publication years1996-2011
Available for download3
Average downloads per article164.67
Downloads (cumulative)494
Downloads (12 Months)27
Downloads (6 Weeks)4
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


18 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 18 of 18
Sort by:

1 published by ACM
July 2011 ACM Transactions on Intelligent Systems and Technology (TIST): Volume 2 Issue 4, July 2011
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 4,   Downloads (12 Months): 20,   Downloads (Overall): 284

Full text available: PDFPDF
Flight controllers manage the orientation and modes of eight large solar arrays that power the International Space Station (ISS). The task requires generating plans that balance complex constraints and preferences. These considerations include context-dependent constraints on viable solar array configurations, temporal limits on transitions between configurations, and preferences on which ...
Keywords: Planning, scheduling, constraint satisfaction, optimization, space mission operations

2 published by ACM
October 2010 NordiCHI '10: Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries
Publisher: ACM
Bibliometrics:
Citation Count: 0

Over the last decade, artificial intelligence technology has moved from being an obscure research project within NASA to being an important tool for NASA mission controllers who operate spacecraft such as the Mars Exploration Rovers and the International Space Station. This achievement is in part due to advances in artificial ...

3
July 2006 IEEE Intelligent Systems: Volume 21 Issue 4, July 2006
Publisher: IEEE Educational Activities Department
Bibliometrics:
Citation Count: 1

Two key flight technology experiments--the Remote Agent Experiment (RAX) and the AutonomousSciencecraft Experiment (ASE)--validated appropriate uses of AI-based capabilities in future robotic andhuman exploration of the Moon, Mars, and beyond. A survey of future missions describes some of them.
Keywords: space technology, artificial intelligence, artificial intelligence, space technology

4
December 2005 WSC '05: Proceedings of the 37th conference on Winter simulation
Publisher: Winter Simulation Conference
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 0,   Downloads (12 Months): 1,   Downloads (Overall): 165

Full text available: PDFPDF
Time and resource limitations mean that current Mars rovers (and any future planetary rovers) cannot hope to achieve every desirable scientific goal. We must therefore select and plan for a subset of the possible experiments, maximizing some utility metric. The use of simulation in planning is appealing because of its ...

5
July 2005 IJCAI'05: Proceedings of the 19th international joint conference on Artificial intelligence
Publisher: Morgan Kaufmann Publishers Inc.
Bibliometrics:
Citation Count: 2

One of the ground tools used to operate the Mars Exploration Rovers is a mixed-initiative planning system called MAPGEN. The role of the system is to assist operators building daily plans for each of the rovers, maximizing science return, while maintaining rover safety and abiding by science and engineering constraints. ...

6
June 2005 ICAPS'05: Proceedings of the Fifteenth International Conference on International Conference on Automated Planning and Scheduling
Publisher: AAAI Press
Bibliometrics:
Citation Count: 2

Operating the Mars Exploration Rovers is a challenging, time-pressured task. Each day, the operations team must generate a new plan describing the rover activities for the next day. These plans must abide by resource limitations, safety rules, and temporal constraints. The objective is to achieve as much science as possible, ...

7
January 2004 IEEE Intelligent Systems: Volume 19 Issue 1, January 2004
Publisher: IEEE Educational Activities Department
Bibliometrics:
Citation Count: 28

Science is the Mars Exploration Rover mission's primary driver, so making best use of the scientific instruments, within the available resources, is a crucial aspect of the mission. To address this criticality, the MER project team selected MAPGEN (Mixed Initiative Activity Plan GENerator) as an activity-planning tool.

8
October 2003 Constraints: Volume 8 Issue 4, October 2003
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 43

In this paper we describe Constraint-based Attribute and Interval Planning (CAIP), a paradigm for representing and reasoning about plans. The paradigm enables the description of planning domains with time, resources, concurrent activities, mutual exclusions among sets of activities, disjunctive preconditions and conditional effects. We provide a theoretical foundation for the ...
Keywords: consistency enforcement, planning, dynamic constraint reasoning, resources, temporal planning

9
April 2002 AIPS'02: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems
Publisher: AAAI Press
Bibliometrics:
Citation Count: 0

In recent years, Graphplan style reachability analysis and mutual exclusion reasoning have been used in many high performance planning systems. While numerous refinements and extensions have been developed, the basic plan graph structure and reasoning mechanisms used in these systems are tied to the very simple STRIPS model of action. ...

10
March 2002 HLT '02: Proceedings of the second international conference on Human Language Technology Research
Publisher: Morgan Kaufmann Publishers Inc.
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 45

Full text available: PDFPDF
Planning and scheduling in the face of uncertainty and change pushes the capabilities of both planning and dialogue technologies by requiring complex negotiation to arrive at a workable plan. Planning for use of semi-autonomous robots involves negotiation among multiple participants with competing scientific and engineering goals to co-construct a complex ...
Keywords: constraint-based planning, spoken dialogue systems, mobile robots

11
August 2000 ECAI'00: Proceedings of the 14th European Conference on Artificial Intelligence
Publisher: IOS Press
Bibliometrics:
Citation Count: 0

Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consistency of the associated constraint problem instance. The underlying constraint problems are invariably dynamic, as higher level decisions result in variables, values, and constraints being added ...

12
July 2000 SARA '02: Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 6

In recent years, researchers have reformulated STRIPS planning problems as SAT problems or CSPs. In this paper, we discuss the Constraint-Based Interval Planning (CBIP) paradigm, which can represent planning problems incorporating interval time and resources. We describe how to reformulate mutual exclusion constraints for a CBIP-based system, the Extendible Uniform ...

13
April 2000 AIPS'00: Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems
Publisher: AAAI Press
Bibliometrics:
Citation Count: 4

On May 17th 1999, NASA activated for the first time an AI-based planner/scheduler running on the flight processor of a spacecraft. This was part of the Remote Agent Experiment (RAX), a demonstration of closed-loop planning and execution, and model-based state inference and failure recovery. This paper describes the RAX Planner/Scheduler ...

14
March 2000 The Knowledge Engineering Review: Volume 15 Issue 1, March 2000
Publisher: Cambridge University Press
Bibliometrics:
Citation Count: 83

Planning research in Artificial Intelligence (AI) has often focused on problems where there are cascading levels of action choice and complex interactions between actions. In contrast, scheduling research has focused on much larger problems where there is little action choice, but the resulting ordering problem is hard. In this paper, ...

15
July 1999 IJCAI'99: Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Publisher: Morgan Kaufmann Publishers Inc.
Bibliometrics:
Citation Count: 11

In this paper we consider the problem of cyclic schedules such as arise in manufacturing. We introduce a new formulation of this problem that is a very simple modification of a standard job shop scheduling formulation, and which enables us to use existing constraint reasoning techniques to generate cyclic schedules. ...

16
July 1999 IJCAI '99: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Publisher: Morgan Kaufmann Publishers Inc.
Bibliometrics:
Citation Count: 2


17
March 1998
Bibliometrics:
Citation Count: 6

Constraint satisfaction is an important area of computer science, in particular for artificial intelligence. The need to solve such problems automatically has led researchers to develop a variety of general problem solving methods, which are invariably based on the use of search; a method of modifying a candidate solution until ...
Keywords: search methods, artificial intelligence

18
November 1996 KR'96: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning
Publisher: Morgan Kaufmann Publishers Inc.
Bibliometrics:
Citation Count: 0




The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us