A theoretical analysis of conjunctive-goal problems
Artificial Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Fast planning through planning graph analysis
Artificial Intelligence
Using regression-match graphs to control search in planning
Artificial Intelligence
Towards efficient universal planning: a randomized approach
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Unifying SAT-based and Graph-based Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Ignoring Irrelevant Facts and Operators in Plan Generation
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Understanding and Extending Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Planning as Heuristic Search: New Results
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
When gravity fails: local search topology
Journal of Artificial Intelligence Research
The automatic inference of state invariants in TIM
Journal of Artificial Intelligence Research
Efficient implementation of the plan graph in STAN
Journal of Artificial Intelligence Research
Hybrid STAN: Identifying and managing combinatorial optimisation sub-problems in planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Local search topology in planning benchmarks: an empirical analysis
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A robust and fast action selection mechanism for planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Complexity results for standard benchmark domains in planning
Artificial Intelligence
A Temporal Planning System for Time-Optimal Planning
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
STeLLa: An Optimal Sequential and Parallel Planner
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Directed Automated Theorem Proving
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Replanning in a Resource-Based Framework
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Domain-Independent Online Planning for STRIPS Domains
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
An Accurate Adaptation-Guided Similarity Metric for Case-Based Planning
ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Plan evaluation with incomplete action descriptions
Eighteenth national conference on Artificial intelligence
Speeding up the calculation of heuristics for heuristic search-based planning
Eighteenth national conference on Artificial intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Exploring artificial intelligence in the new millennium
Multiobjective heuristic state-space planning
Artificial Intelligence
GriPhyN and LIGO, Building a Virtual Data Grid for Gravitational Wave Scientists
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
A resource based framework for planning and replanning
Web Intelligence and Agent Systems
A Planner-Independent Collaborative Planning Assistant
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts
Artificial Intelligence Review
HAPRC: an automatically configurable planning system
AI Communications
Artificial Intelligence
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Mapping with planning agents in the Max/MSP environment: the GO/Max language
NIME '06 Proceedings of the 2006 conference on New interfaces for musical expression
Decomposition of planning problems
AI Communications
Modelling and solving English Peg Solitaire
Computers and Operations Research
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Planning with Action Abstraction and Plan Decomposition Hierarchies
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Evaluation of Service Composition Planning with OWLS-XPlan
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Fast Dynamic Re-planning of Composite OWL-S Services
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
Continual planning and acting in dynamic multiagent environments
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Planning algorithms for interactive storytelling
Computers in Entertainment (CIE) - Interactive entertainment
PLTOOL: A knowledge engineering tool for planning and learning
The Knowledge Engineering Review
Theory and Practice of Logic Programming
samap: An user-oriented adaptive system for planning tourist visits
Expert Systems with Applications: An International Journal
Sequential Monte Carlo in reachability heuristics for probabilistic planning
Artificial Intelligence
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
Search in the patience game ‘Black Hole’
AI Communications - Constraint Programming for Planning and Scheduling
Planning and scheduling in an e-learning environment. A constraint-programming-based approach
Engineering Applications of Artificial Intelligence
Learning Control Knowledge for Forward Search Planning
The Journal of Machine Learning Research
Automated Creation of Pattern Database Search Heuristics
Model Checking and Artificial Intelligence
Using Cases Utility for Heuristic Planning Improvement
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Fast and Informed Action Selection for Planning with Sensing
Current Topics in Artificial Intelligence
Heuristics for Planning with Action Costs
Current Topics in Artificial Intelligence
Heuristic Hill-Climbing as a Markov Process
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Meta-case-based reasoning: self-improvement through self-understanding
Journal of Experimental & Theoretical Artificial Intelligence
Robot task planning using semantic maps
Robotics and Autonomous Systems
Managing concurrency in temporal planning using planner-scheduler interaction
Artificial Intelligence
A Plan-Based Control Architecture for Intelligent Robotic Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Learning from planner performance
Artificial Intelligence
Anytime heuristic search for partial satisfaction planning
Artificial Intelligence
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
The factored policy-gradient planner
Artificial Intelligence
Practical solution techniques for first-order MDPs
Artificial Intelligence
Supporting Execution-Level Business Process Modeling with Semantic Technologies
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Transition-Based Directed Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
EvoCOP '09 Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization
Color learning and illumination invariance on mobile robots: A survey
Robotics and Autonomous Systems
A novel graph based approach for automatic composition of high quality grid workflows
Proceedings of the 18th ACM international symposium on High performance distributed computing
An anytime approach for on-line planning
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Unified Definition of Heuristics for Classical Planning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Heuristics for Planning with Action Costs Revisited
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Evolutionary-based learning of generalised policies for AI planning domains
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
RFID Technology and AI Techniques for People Location, Orientation and Guiding
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Effective approaches for partial satisfaction (over-subscription) planning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A generalized query framework for geospatial reasoning
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Cost-optimal external planning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
State agnostic planning graphs and the application to belief-space planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
New admissible heuristics for domain-independent planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Learning measures of progress for planning domains
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Simultaneous heuristic search for conjunctive subgoals
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Transposition tables for constraint satisfaction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Action-space partitioning for planning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Filtering, decomposition and search space reduction for optimal sequential planning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Fast planning by search in domain transition graph
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Planning with problems requiring temporal coordination
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Probabilistic planning via determinization in hindsight
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on 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
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
Sapa: a multi-objective metric temporal planner
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
The metric-FF planning system: translating "Ignoring delete lists" to numeric state variables
Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
The deterministic part of IPC-4: an overview
Journal of Artificial Intelligence Research
Macro-FF: improving AI planning with automatically learned macro-operators
Journal of Artificial Intelligence Research
Where "Ignoring delete lists" works: local search topology in planning benchmarks
Journal of Artificial Intelligence Research
mGPT: a probabilistic planner based on heuristic search
Journal of Artificial Intelligence Research
Engineering a conformant probabilistic planner
Journal of Artificial Intelligence Research
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Marvin: a heuristic search planner with online macro-action learning
Journal of Artificial Intelligence Research
Probabilistic planning via heuristic forward search and weighted model counting
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
A critical assessment of benchmark comparison in planning
Journal of Artificial Intelligence Research
The GRT planning system: backward heuristic construction in forward state-space planning
Journal of Artificial Intelligence Research
A heuristic search approach to planning with temporally extended preferences
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Fast planning with iterative macros
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
When is temporal planning really temporal?
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning with goal utility dependencies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Discriminative learning of beam-search heuristics for planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Using learned policies in heuristic-search planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Best-first utility-guided search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Dynamic probabilistic relational models
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multiagent planning with partially ordered temporal plans
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A lookahead strategy for solving large planning problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automated Web Service Composition: A Decentralised Multi-agent Approach
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Journal of Artificial Intelligence Research
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Abstraction-based action ordering in planning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Artificial Intelligence
Tracing actions helps in understanding interactions
SigDIAL '06 Proceedings of the 7th SIGdial Workshop on Discourse and Dialogue
A translation-based approach to contingent planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
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
Incremental heuristic search for planning with temporally extended goals and uncontrollable events
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Trees of shortest paths vs. Steiner trees: understanding and improving delete relaxation heuristics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ReTrASE: integrating paradigms for approximate probabilistic planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Monte-Carlo exploration for deterministic planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Inference and Learning in Planning (Extended Abstract)
DS '09 Proceedings of the 12th International Conference on Discovery Science
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Controlling Narrative Generation with Planning Trajectories: The Role of Constraints
ICIDS '09 Proceedings of the 2nd Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Clarification potential of instructions
SIGDIAL '09 Proceedings of the SIGDIAL 2009 Conference: The 10th Annual Meeting of the Special Interest Group on Discourse and Dialogue
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Realtime execution of automated plans using evolutionary robotics
CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
Friends or foes? on planning as satisfiability and abstract CNF encodings
Journal of Artificial Intelligence Research
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
An artificial intelligence planning tool for the container stacking problem
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Learning Linear Ranking Functions for Beam Search with Application to Planning
The Journal of Machine Learning Research
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Semantic service composition in service-oriented multiagent systems: a filtering approach
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
A meta-CSP model for optimal planning
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
An LP-based heuristic for optimal planning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Planning by guided hill-climbing
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Semantic annotation and composition of business processes with Maestro
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Planning to see: A hierarchical approach to planning visual actions on a robot using POMDPs
Artificial Intelligence
Planning with h+in theory and practice
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Solving non-deterministic planning problems with pattern database heuristics
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Incremental plan aggregation for generating policies in MDPs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A general, fully distributed multi-agent planning algorithm
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Merging example plans into generalized plans for non-deterministic environments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A mean-based approach for real-time planning
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
The Knowledge Engineering Review
Automated planning for situated natural language generation
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Kernel functions for case-based planning
Artificial Intelligence
Planning with Concurrency under Resources and Time Uncertainty
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Brothers in Arms? On AI Planning and Cellular Automata
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Implicit Learning of Compiled Macro-Actions for Planning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Compiling Uncertainty Away in Non-Deterministic Conformant Planning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Dialogue systems for virtual environments
YIWCALA '10 Proceedings of the NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas
Applying planning to interactive storytelling: Narrative control using state constraints
ACM Transactions on Intelligent Systems and Technology (TIST)
CORALS: A real-time planner for anti-air defense operations
ACM Transactions on Intelligent Systems and Technology (TIST)
Fast forward planning by guided enforced hill climbing
Engineering Applications of Artificial Intelligence
Instantiating general games using prolog or dependency graphs
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Task planning for an autonomous service robot
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Applying clustering techniques to reduce complexity in automated planning domains
IDEAL'10 Proceedings of the 11th international conference on Intelligent data engineering and automated learning
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A look-ahead B&B search for cost-based planning
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Context-enhanced directed model checking
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Workflow construction for service-oriented knowledge discovery
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Relaxing Regression for a Heuristic GOLOG
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Domain Independent Goal Recognition
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Domain-dependent planning heuristics for locating containers in maritime terminals
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Planning with noisy probabilistic relational rules
Journal of Artificial Intelligence Research
The LAMA planner: guiding cost-based anytime planning with landmarks
Journal of Artificial Intelligence Research
Narrative planning: balancing plot and character
Journal of Artificial Intelligence Research
Specifying and computing preferred plans
Artificial Intelligence
Depth first random walk based on symbolic situated action
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Realizing self-x properties by an automated planner
Proceedings of the 8th ACM international conference on Autonomic computing
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Parallel divide-and-evolve: experiments with OpenMP on a multicore machine
Proceedings of the 13th annual conference on Genetic and evolutionary computation
GA-FreeCell: evolving solvers for the game of FreeCell
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Integrated intelligent techniques for remarshaling and berthing in maritime terminals
Advanced Engineering Informatics
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Scaling up heuristic planning with relational decision trees
Journal of Artificial Intelligence Research
Concept of a reflex manager to enhance the planner component of an autonomic/organic system
ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
BioDKM: Bio-inspired domain knowledge modeling method for humanoid delivery robots' planning
Expert Systems with Applications: An International Journal
Intelligent planning for allocating containers in maritime terminals
Expert Systems with Applications: An International Journal
Exploiting macro-actions and predicting plan length in planning as satisfiability
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Model-driven engineering and run-time model-usage in service robotics
Proceedings of the 10th ACM international conference on Generative programming and component engineering
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A translation based approach to probabilistic conformant planning
ADT'11 Proceedings of the Second international conference on Algorithmic decision theory
Everything you always wanted to know about planning (but were afraid to ask)
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Analyzing search topology without running any search: on the connection between causal graphs and h+
Journal of Artificial Intelligence Research
Feasibility study of utility-directed behaviour for computer game agents
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology
Using the relaxed plan heuristic to select goals in oversubscription planning problems
CAEPIA'11 Proceedings of the 14th international conference on Advances in artificial intelligence: spanish association for artificial intelligence
Controlled reachability analysis in AI planning: theory and practice
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
An on-line approach for planning in time-limited situations
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Backward-Chaining flexible planning
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Giving instructions in virtual environments by corpus based selection
SIGDIAL '11 Proceedings of the SIGDIAL 2011 Conference
Case adaptation by segment replanning for case-based planning systems
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Experimental evaluation of pheromone models in ACOPlan
Annals of Mathematics and Artificial Intelligence
Planning in domains with derived predicates through rule-action graphs and local search
Annals of Mathematics and Artificial Intelligence
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Selective approaches for solving weak games
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
An efficient hybrid strategy for temporal planning
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Planning with domain rules based on state-independent activation sets
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
On the benefit of sub-optimality within the divide-and-evolve scheme
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
iFALCON: A neural architecture for hierarchical planning
Neurocomputing
Adapting an AI planning heuristic for directed model checking
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Qualitative vs. quantitative plan diversity in case-based planning
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
CL system: giving instructions by corpus based selection
ENLG '11 Proceedings of the 13th European Workshop on Natural Language Generation
Stochastic enforced hill-climbing
Journal of Artificial Intelligence Research
Anytime QoS optimization over the PlanGraph for web service composition
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Planning under partial observability by classical replanning: theory and experiments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Simple and fast strong cyclic planning for fully-observable nondeterministic planning problems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Monitoring the execution of partial-order plans via regression
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Computing infinite plans for LTL goals using a classical planner
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Replanning in domains with partial information and sensing actions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Advanced user assistance based on AI planning
Cognitive Systems Research
Learning heuristic functions for large state spaces
Artificial Intelligence
Discovering hidden structure in factored MDPs
Artificial Intelligence
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
An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Badger: a regression planner to resolve design model inconsistencies
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Applications of action languages in cognitive robotics
Correct Reasoning
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Macro learning in planning as parameter configuration
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Automatic undo for cloud management via AI planning
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
SAS+ planning as satisfiability
Journal of Artificial Intelligence Research
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Online speedup learning for optimal planning
Journal of Artificial Intelligence Research
Learning high-level planning from text
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Planning as satisfiability: Heuristics
Artificial Intelligence
Concise representations for state spaces in conformant planning tasks
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
Using satisfiability for non-optimal temporal planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Mcta: heuristics and search for timed systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Building virtual guides for virtual worlds
HCITOCH'11 Proceedings of the Second international conference on Human-Computer Interaction, Tourism and Cultural Heritage
Planning with action prioritization and new benchmarks for classical planning
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
A conformant planner based on approximation: CpA(H)
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Replanning in domains with partial information and sensing actions
Journal of Artificial Intelligence Research
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
HH-evolver: a system for domain-specific, hyper-heuristic evolution
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Finding objects through stochastic shortest path problems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Efficient intent-based narrative generation using multiple planning agents
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A case-based approach to heuristic planning
Applied Intelligence
Post-design analysis for building and refining AI planning systems
Engineering Applications of Artificial Intelligence
A hybrid LP-RPG heuristic for modelling numeric resource flows in planning
Journal of Artificial Intelligence Research
Revisiting regression in planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An admissible heuristic for SAS+ planning obtained from the state equation
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Optimal delete-relaxed (and semi-relaxed) planning with conditional effects
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards a second generation random walk planner: an experimental exploration
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The GoDeL planning system: a more perfect union of domain-independent and hierarchical planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Problem splitting using heuristic search in landmark orderings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Landmark-based heuristics and search control for automated planning (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A SAT-based approach to cost-sensitive temporally expressive planning
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Supporting undoability in systems operations
LISA'13 Proceedings of the 27th international conference on Large Installation System Administration
Automated runtime repair of business processes
Information Systems
Domain-independent multi-agent plan repair
Journal of Network and Computer Applications
A distributed multi-agent planning approach for automated web services composition
Web Intelligence and Agent Systems
The complexity of optimal monotonic planning: the bad, the good, and the causal graph
Journal of Artificial Intelligence Research
Automating the evaluation of planning systems
AI Communications
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Planning as satisfiability with IPC simple preferences and action costs
AI Communications
Hi-index | 0.00 |
We describe and evaluate the algorithmic techniques that are used in the FF planning system. Like the HSP system, FF relies on forward state space search, using a heuristic that estimates goal distances by ignoring delete lists. Unlike HSP's heuristic, our method does not assume facts to be independent. We introduce a novel search strategy that combines hill-climbing with systematic search, and we show how other powerful heuristic information can be extracted and used to prune the search space. FF was the most successful automatic planner at the recent AIPS-2000 planning competition. We review the results of the competition, give data for other benchmark domains, and investigate the reasons for the runtime performance of FF compared to HSP.