Planning in a hierarchy of abstraction spaces
From MaRDI portal
Publication:1846747
DOI10.1016/0004-3702(74)90026-5zbMath0288.68052MaRDI QIDQ1846747
Publication date: 1974
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(74)90026-5
68T10: Pattern recognition, speech recognition
Related Items
Experiments with proof plans for induction, A problem-decomposition method using differences or equivalence relations between states, Network-based heuristics for constraint-satisfaction problems, Speeding up inferences using relevance reasoning: a formalism and algorithms, Planning parallel actions, Using patterns and plans in chess, Theorem proving with abstraction, Gazing: An approach to the problem of definition and lemma use, Reasoning about model accuracy, A theory of abstraction, Model verification and improvement using DISPROVER, A language and a program for stating and solving combinatorial problems, Multiple perspective dynamic decision making, A linguistic approach to geometric reasoning, The inevitability of inconsistent abstract spaces, Translations of network languages, Automatically generating abstractions for planning, Multi-contributor causal structures for planning: A formalization and evaluation, Downward refinement and the efficiency of hierarchical problem solving, Causal approximations, Engineering and compiling planning domain models to promote validity and efficiency, Calculating criticalities, Abstraction and approximate decision-theoretic planning., Complexity, decidability and undecidability results for domain-independent planning, Using temporal logics to express search control knowledge for planning, Knowledge-based proof planning, Heuristic shortest path algorithms for transportation applications: state of the art, Dynamic backward reasoning systems, Spatial planning for musical output, Unnamed Item, A PLAN FORMATION SYSTEM FOR ASSEMBLY ROBOTS
Uses Software
Cites Work
