Amanote Research

Amanote Research

    RegisterSign In

Exploiting Macro-Actions and Predicting Plan Length in Planning as Satisfiability

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-23954-0_19
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2011

Authors
Alfonso Emilio GereviniAlessandro SaettiMauro Vallati
Publisher

Springer Berlin Heidelberg


Related search

On the Completeness of Replacing Primitive Actions With Macro-Actions and Its Generalization to Planning Operators and Macro-Operators

AI Communications
Artificial Intelligence
2015English

SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver

Constraints
CombinatoricsMathematicsDiscrete MathematicsComputational TheoryArtificial IntelligenceSoftware
2008English

Project Planning and Macro Planning

The IDS Bulletin
2009English

Simulating and Predicting Others’ Actions

Psychological Research
DevelopmentalArtsEducational PsychologyHumanitiesCognitive PsychologyMedicineExperimental
2012English

Combining Linear Programming and Satisfiability Solving for Resource Planning

Knowledge Engineering Review
Artificial IntelligenceSoftware
2001English

Exploiting Symmetries in Logistics Distribution Planning

2011English

Exploiting Visual Constraints in Robot Motion Planning

English

Simulation Run Length Planning

English

Exploring Disjunctive Planning as a Means to Scale-Up Plan Synthesis

2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy