Graphplan
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Modelling and solving English peg solitaire
- scientific article; zbMATH DE number 1946847 (Why is no real title available?)
- scientific article; zbMATH DE number 1974089 (Why is no real title available?)
- scientific article; zbMATH DE number 2038902 (Why is no real title available?)
- scientific article; zbMATH DE number 1467489 (Why is no real title available?)
- Plan coordination by revision in collective agent based systems.
- Using genetic programming to learn and improve control knowledge.
- scientific article; zbMATH DE number 2038901 (Why is no real title available?)
- Constraint satisfaction techniques in planning and scheduling: an introduction
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- The logical foundations of goal-regression planning in autonomous agents
- Parallel planning via the distribution of operators
- Planning as propositional CSP: From Walksat to local search techniques for action graphs
- Anytime point-based approximations for large POMDPS
- scientific article; zbMATH DE number 5547890 (Why is no real title available?)
- Conformant planning via heuristic forward search: A new approach
- scientific article; zbMATH DE number 1753146 (Why is no real title available?)
- AI planning in a constraint programming framework
- On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning
- Landmark-based approaches for goal recognition as planning
- scientific article; zbMATH DE number 1759718 (Why is no real title available?)
- New methods for proving the impossibility to solve problems through reduction of problem spaces
- Towards efficient universal planning: A randomized approach
- Characterization, verification and generation of strategies in games with resource constraints
- Goal distance estimation for automated planning using neural networks and support vector machines
- Long-distance mutual exclusion for planning
- The factored policy-gradient planner
- Conformant planning as a case study of incremental QBF solving
- scientific article; zbMATH DE number 5547917 (Why is no real title available?)
- State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
- scientific article; zbMATH DE number 2038892 (Why is no real title available?)
- scientific article; zbMATH DE number 1948993 (Why is no real title available?)
- Reasoning with infinite stable models
- scientific article; zbMATH DE number 2243406 (Why is no real title available?)
- Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
- Experimental evaluation of pheromone models in ACOPlan
- Planning in domains with derived predicates through rule-action graphs and local search
- Planning as heuristic search
- A formal characterisation of Hamblin's action-state semantics
- On the hierarchical community structure of practical Boolean formulas
- A competitive and cooperative approach to propositional satisfiability
- Learning generalized policies from planning examples using concept languages
- Discovering hidden structure in factored MDPs
- Evaluating new options in the context of existing plans
- Strong planning under partial observability
- scientific article; zbMATH DE number 1448981 (Why is no real title available?)
- Managing temporal cycles in planning problems requiring concurrency
- Journal on Data Semantics I
- scientific article; zbMATH DE number 1884393 (Why is no real title available?)
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- Planning as satisfiability: parallel plans and algorithms for plan search
- scientific article; zbMATH DE number 1216123 (Why is no real title available?)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Star-topology decoupled state space search
- Understanding planning tasks. Domain complexity and heuristic decomposition
- Practical solution techniques for first-order MDPs
- An LP-Based Heuristic for Optimal Planning
- Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search
- Planning under uncertainty as G<scp>OLOG</scp>programs
- Model checking abilities of agents: a closer look
- scientific article; zbMATH DE number 1912050 (Why is no real title available?)
- scientific article; zbMATH DE number 2086983 (Why is no real title available?)
- Constraint partitioning in penalty formulations for solving temporal planning problems
- scientific article; zbMATH DE number 1315585 (Why is no real title available?)
- scientific article; zbMATH DE number 1304263 (Why is no real title available?)
- A tabu search heuristic for resource management in naval warfare
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- Learning from planner performance
- Automated planning as an early verification tool for distributed control
- Processes and continuous change in a SAT-based planner
- Logics in Artificial Intelligence
- DSOL: a declarative approach to self-adaptive service orchestrations
- Solving Simple Planning Problems with More Inference and No Search
- Resource separation in dynamic logic of propositional assignments
- Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
- Changes of problem representation. Theory and experiments
- Extracting mutual exclusion invariants from lifted temporal planning domains
- Probabilistic planning via heuristic forward search and weighted model counting
- On the complexity of planning for agent teams and its implications for single agent planning
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Let's plan it deductively!
- Temporal planning using subgoal partitioning and resolution in SGPlan
- scientific article; zbMATH DE number 7378361 (Why is no real title available?)
- Planning with incomplete information (invited paper)
- Learning control knowledge for forward search planning
- Experiences with planning for natural language generation
- scientific article; zbMATH DE number 1249653 (Why is no real title available?)
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- Incorporating decision-theoretic planning in a robot architecture
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- QOCA
- SymChaff
- CP-nets
- JavaLog
- Saturn
- pGOLOG
- RealPlan
- ConGolog
This page was built for software: Graphplan
