scientific article

From MaRDI portal
Publication:3624014

zbMath1182.68245arXiv1109.6051MaRDI QIDQ3624014

Malte Helmert

Publication date: 28 April 2009

Full work available at URL: https://arxiv.org/abs/1109.6051

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (62)

Goal distance estimation for automated planning using neural networks and support vector machinesBagging strategies for learning planning policiesDomain-independent planning for services in uncertain and dynamic environmentsLong-distance mutual exclusion for planningConcise finite-domain representations for PDDL planning tasksLearning from planner performanceAnytime heuristic search for partial satisfaction planningDeterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the plannersMobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction HierarchyExtracting mutual exclusion invariants from lifted temporal planning domainsSymbolic perimeter abstraction heuristics for cost-optimal planningMerge-and-Shrink AbstractionAn approach to efficient planning with numerical fluents and multi-criteria plan qualityEfficient symbolic search for cost-optimal planningFormally verified algorithms for upper-bounding state space diametersRobot task planning and explanation in open and uncertain worldsRelational reinforcement learning with guided demonstrationsOn the importance of domain model configuration for automated planning enginesThe MADLA planner: multi-agent planning by combination of distributed and local heuristic searchVerified Over-Approximation of the Diameter of Propositionally Factored Transition SystemsAutomatic construction of optimal static sequential portfolios for AI planning and beyondA generic approach to planning in the presence of incomplete information: theory and implementationOptimal Sokoban solving using pattern databases with specific domain knowledgeAgent planning programsLearning heuristic functions for large state spacesThe influence of \(k\)-dependence on the complexity of planningPlanning in domains with derived predicates through rule-action graphs and local searchExperimental evaluation of pheromone models in ACOPlanDynamic term-modal logics for first-order epistemic planningEvaluation of the moral permissibility of action plansUnnamed ItemOn the complexity of planning for agent teams and its implications for single agent planningOn the completeness of pruning techniques for planning with conditional effectsPhase transitions of contingent planning problemCost-optimal Planning, Delete Relaxation, Approximability, and HeuristicsRational deployment of multiple heuristics in optimal state-space searchState space search nogood learning: online refinement of critical-path dead-end detectors in planningStar-topology decoupled state space searchNew methods for proving the impossibility to solve problems through reduction of problem spacesLandmark-enhanced abstraction heuristicsConformant plans and beyond: principles and complexityPotential-based bounded-cost search and anytime non-parametric A*Causal graphs and structurally restricted planningOptimal admissible composition of abstraction heuristicsRepresenting and planning with interacting actions and privacyLandmark-based approaches for goal recognition as planningplasp 3: Towards Effective ASP PlanningDynamic branching in qualitative constraint-based reasoning via counting local modelsOn-the-Fly MacrosFoundations of explanations as model reconciliationSAT competition 2020Computing programs for generalized planning using a classical plannerCompact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition modelsGradient-based mixed planning with symbolic and numeric action parametersRegarding Goal Bounding and Jump Point SearchUnnamed ItemRed-black planning: a new systematic approach to partial delete relaxationAsymmetric Action Abstractions for Planning in Real-Time Strategy GamesThe LM-Cut Heuristic Family for Optimal Numeric Planning with Simple ConditionsAutomated planning as an early verification tool for distributed controlOnline Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty PruningA complete parameterized complexity analysis of bounded planning






This page was built for publication: