SHOP2: an HTN planning system

Authors:
Dana Nau;Tsz-Chiu Au;Okhtay Ilghami;Ugur Kuter;J. William Murdock;Dan Wu;Fusun Yaman
Affiliations:
Dept. of Computer Science, and Institute for Systems Research, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD;IBM Watson Research Center, Hawthorne, NY;Dept. of Computer Science, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD
Venue:
Journal of Artificial Intelligence Research
Year:
2003

Citing 14
Cited 117

Practical planning: extending the classical AI planning paradigm

Practical planning: extending the classical AI planning paradigm
O-Plan: the open planning architecture

Artificial Intelligence
On the complexity of blocks-world planning

Artificial Intelligence
HTN planning: complexity and expressivity

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
UM Translog: a planning domain for the development and benchmarking of planning systems

UM Translog: a planning domain for the development and benchmarking of planning systems
Integrating electrical and mechanical design and process planning

Proceedings of the IFIP TC5/WG5.2 international conference on Knowledge intensive CAD volume 2
Success in spades: using AI planning techniques to win the world championship of computer bridge

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Control strategies in HTN planning: theory versus practice

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using planning graphs for solving HTN planning problems

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Blocks World revisited

Artificial Intelligence
SHOP: Simple Hierarchical Ordered Planner

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
An Argument for a Hybrid HTN/Operator-Based Approach to Planning

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Total-order planning with partially ordered subtasks

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Applications of SHOP and SHOP2

IEEE Intelligent Systems
Training agents: an architecture for reusability

Lecture Notes in Computer Science
Task planning for human-robot interaction

Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting

AI Communications - Binding Environmental Sciences and AI
A robotic service framework supporting automated integration of ubiquitous sensors and devices

Information Sciences: an International Journal
Learning action models from plan examples using weighted MAX-SAT

Artificial Intelligence
Research on Reasoning of the Dynamic Semantic Web Services Composition

WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Bringing Semantics to Web Services with OWL-S

World Wide Web
WS-CDL+ for web service collaboration

Information Systems Frontiers
ARMS: an automatic knowledge engineering tool for learning action models for AI planning

The Knowledge Engineering Review
PLTOOL: A knowledge engineering tool for planning and learning

The Knowledge Engineering Review
samap: An user-oriented adaptive system for planning tourist visits

Expert Systems with Applications: An International Journal
Learning how to combine sensory-motor functions into a robust behavior

Artificial Intelligence
An ontology-based framework for bioinformatics workflows

International Journal of Bioinformatics Research and Applications
Experiences with planning techniques for assisting software design activities

Applied Intelligence
Cost-based BDI plan selection for change propagation

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Conciliating coherence and high responsiveness in interactive storytelling

Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts
Using Hierarchical Task Network Planning Techniques to Create Custom Web Search Services over Multiple Biomedical Databases

KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
A Runtime Constraint-Aware Solution for Automated Refinement of IT Change Plans

DSOM '08 Proceedings of the 19th IFIP/IEEE international workshop on Distributed Systems: Operations and Management: Managing Large-Scale Service Deployment
How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training

ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Meta-case-based reasoning: self-improvement through self-understanding

Journal of Experimental & Theoretical Artificial Intelligence
Expressivity of STRIPS-Like and HTN-Like Planning

KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Planning and Interaction Levels for TV Storytelling

ICIDS '08 Proceedings of the 1st Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Semantic Web Services for Satisfying SOA Requirements

Advances in Web Semantics I
Task decomposition on abstract states, for planning under nondeterminism

Artificial Intelligence
Investigating the Reuse of Course Generation Knowledge

Proceedings of the 2007 conference on Supporting Learning Flow through Integrative Technologies
Combining Ontology Engineering with HTN Planning

Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
An HTN Planning Approach for Power System Scheduling Using SHOP2

Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Combining Domain-Independent Planning and HTN Planning: The Duet Planner

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Synthesis and Composition of Web Services

Formal Methods for Web Services
Forward-chaining planning in nondeterministic domains

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Controlled search over compact state representations, in nondeterministic planning domains and beyond

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Fast hierarchical goal schema recognition

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A goal- and dependency-directed algorithm for learning hierarchical task networks

Proceedings of the fifth international conference on Knowledge capture
Using domain-configurable search control for probabilistic planning

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Exploiting the structure of hierarchical plans in temporal constraint propagation

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
The deep space network scheduling problem

IAAI'05 Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3
Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Planning through stochastic local search and temporal action graphs in LPG

Journal of Artificial Intelligence Research
Macro-FF: improving AI planning with automatically learned macro-operators

Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination

Journal of Artificial Intelligence Research
ChangeLedge: Change design and planning in networked systems based on reuse of knowledge and automation

Computer Networks: The International Journal of Computer and Telecommunications Networking
Translating HTNs to PDDL: a small amount of domain knowledge can go a long way

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
HTN planning with preferences

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Planning for Conditional Learning Routes

MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Semantic Web Service Composition in Social Environments

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Optimizing Web Service Composition While Enforcing Regulations

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Planner9, a HTN Planner Distributed on Groups of Miniature Mobile Robots

ICIRA '09 Proceedings of the 2nd International Conference on Intelligent Robotics and Applications
Autonomous planning for mobile manipulation services based on multi-level robot skills

IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Measuring the expected gain of communicating constraint information

Multiagent and Grid Systems - Planning in multiagent systems
Information gathering during planning for Web Service composition

Web Semantics: Science, Services and Agents on the World Wide Web
HTN planning for Web Service composition using SHOP2

Web Semantics: Science, Services and Agents on the World Wide Web
Augmenting BDI agents with deliberative planning techniques

ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
A planner infrastructure for semantic web enabled agents

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Using planning techniques to assist quality-driven architectural design exploration

QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
OWL-S atomic services composition with SWRL rules

ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Web service composition with user preferences

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A monolithic approach to automated composition of semantic web services with the Event Calculus

Knowledge-Based Systems
Security conscious composition of Semantic Web services based on AI planning and description logic

Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS

Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
Temporal planning in dynamic environments for mobile agents

Proceedings of the 7th International Conference on Frontiers of Information Technology
Narrative generation through characters' point of view

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Managing plans: Integrating deliberation and reactive execution schemes

Robotics and Autonomous Systems
Automatic generation of temporal planning domains for e-learning problems

Journal of Scheduling
Review:

The Knowledge Engineering Review
Applying planning to interactive storytelling: Narrative control using state constraints

ACM Transactions on Intelligent Systems and Technology (TIST)
A virtual interpreter for the Italian sign language

IVA'10 Proceedings of the 10th international conference on Intelligent virtual agents
Using adjustable autonomy and human-machine cooperation to make a human-machine system resilient - Application to a ground robotic system

Information Sciences: an International Journal
Inductive generalization of analytically learned goal hierarchies

ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure

Artificial Intelligence
Autonomic internet-scale workflows

Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
Preference-based web service composition: a middle ground between execution and search

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Customizing the composition of actions, programs, and web ervices with user preferences

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Targeted risk communication for computer security

Proceedings of the 16th international conference on Intelligent user interfaces
A workflow framework for intelligent service composition

Future Generation Computer Systems
A semantic web services-based infrastructure for ubiquitous service systems

Journal of Web Engineering
Scaling up heuristic planning with relational decision trees

Journal of Artificial Intelligence Research
Combined course programmes generation in multi-agent e-learning system using policy-based HTN planning

KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots

A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Abductive plan recognition by extending Bayesian logic programs

ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part II
An agent-oriented approach to change propagation in software maintenance

Autonomous Agents and Multi-Agent Systems
Semantic services for information and management support in mass casualty incident scenarios

ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Web service composition with volatile information

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Temporal enhancements of an HTN planner

CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
A hierarchical framework for composing nested web processes

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Semantic web research trends and directions

PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
Dynamic planning approach to automated web service composition

Applied Intelligence
Requirements for automated service composition

BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Generating artificial corpora for plan recognition

UM'05 Proceedings of the 10th international conference on User Modeling
Synthesizing plans for multiple domains

SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Creating better abstract operators

SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Planning for a mobile robot to attend a conference

AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
A performance and usability comparison of automated planners for IT change planning

Proceedings of the 7th International Conference on Network and Services Management
Bringing semantics to web services: the OWL-S approach

SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Johnny: An Autonomous Service Robot for Domestic Environments

Journal of Intelligent and Robotic Systems
Temporal planning in dynamic environments for P-CLAIM agents

LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Automated adaptation of strategic guidance in multiagent coordination

PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Automatic planning for machine tool calibration: A case study

Expert Systems with Applications: An International Journal
Skill transfer through goal-driven representation mapping

Cognitive Systems Research
Reactive goal management in a cognitive architecture

Cognitive Systems Research
Application of dynamic service composition in web question answering

International Journal of Wireless and Mobile Computing
Combining static and dynamic models for boosting forward planning

CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A hierarchical goal-based formalism and algorithm for single-agent planning

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
ADAPT: abstraction hierarchies to better simulate teamwork under dynamics

AEGS'11 Proceedings of the 2011 international conference on Agents for Educational Games and Simulations
Discrete sequences analysis for detecting software design patterns

ADNTIIC'11 Proceedings of the Second international conference on Advances in New Technologies, Interactive Interfaces and Communicability
A resource enhanced HTN planning approach for emergency decision-making

Applied Intelligence
Automatic behavior composition synthesis

Artificial Intelligence
Generating corpora of activities of daily living and towards measuring the corpora's complexity

CAVE'12 Proceedings of the First international conference on Cognitive Agents for Virtual Environments
Planning in the large: efficient generation of IT change plans on large infrastructures

Proceedings of the 8th International Conference on Network and Service Management
An overview of the parallax BattleMind v1.5 for computer network defence

AISC '13 Proceedings of the Eleventh Australasian Information Security Conference - Volume 138
Semantics and Planning Based Workflow Composition for Video Processing

Journal of Grid Computing
Automated runtime repair of business processes

Information Systems
Automated instructional design for CSCL: A hierarchical task network planning approach

Expert Systems with Applications: An International Journal
A study on dynamic Semantic Web service composition

Web Intelligence and Agent Systems
Group planning with time constraints

Annals of Mathematics and Artificial Intelligence
Automating the evaluation of planning systems

AI Communications
Anytime heuristic search in temporal HTN planning for developing incident action plans

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which enabled it to excel in the competition, especially those aspects of SHOP2 that deal with temporal and metric planning domains.