Cited in
(only showing first 100 items - show all)- Using machine learning for decreasing state uncertainty in planning
- On transformation of conditional, conformant and parallel planning to linear programming
- Handling fuzzy temporal constraints in a planning environment
- Recursive definitions of tabular transformations
- Planning with Critical Section Macros: Theory and Practice
- Landmark-based approaches for goal recognition as planning
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Managing concurrency in temporal planning using planner-scheduler interaction
- Goal distance estimation for automated planning using neural networks and support vector machines
- Long-distance mutual exclusion for planning
- The factored policy-gradient planner
- A Comprehensive Framework for Learning Declarative Action Models
- State-set branching: leveraging BDDs for heuristic search
- Planning in domains with derived predicates through rule-action graphs and local search
- Planning as heuristic search
- Position systems in dynamic domains
- Domain-independent planning for services in uncertain and dynamic environments
- Bounded situation calculus action theories
- Temporal reasoning about fuzzy intervals
- COLIN: planning with continuous linear numeric change
- Managing temporal cycles in planning problems requiring concurrency
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- Planning as satisfiability: parallel plans and algorithms for plan search
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- A unifying action calculus
- Strong temporal planning with uncontrollable durations
- Selecting goals in oversubscription planning using relaxed plans
- Merge-and-Shrink Abstraction
- Reasoning from last conflict(s) in constraint programming
- Constraint partitioning in penalty formulations for solving temporal planning problems
- scientific article; zbMATH DE number 2038896 (Why is no real title available?)
- Concise finite-domain representations for PDDL planning tasks
- 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
- Model checking approach to automated planning
- On strongest necessary and weakest sufficient conditions
- Applications of action languages in cognitive robotics
- The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
- Systems of relational transformations: rules and realizability criterion
- Linear temporal logic as an executable semantics for planning languages
- Bagging strategies for learning planning policies
- Experiences with planning for natural language generation
- Learning-driven goal generation
- Planning in multi-agent environment using strips representation and non-cooperative equilibrium strategy
- CP-nets
- ConGolog
- GOLOG
- IPC-4
- STAN
- PASS
- Walksat
- CPlan
- BuDDy
- simpleAPL
- GASP
- plasp
- FODD-Planner
- Graphplan
- CCGbank
- Coala
- TRAMP
- Galliwasp
- SATMC
- QBFLIB
- CCalc
- SWORD
- ANML
- ASPMT2SMT
- ERA-PAT
- TorchLight
- TEXPLORE
- ArgoTriCS
- SUMO
- SHOP2
- AltAlt
- LPG
- PPlan
- Prodigy
- SAPA
- KnowRob
- UCPOP
- VHPOP
- Yochan
- LINERLIB
- COLIN
- GDL
- UPMurphi
- ALM
- BWIBots
- SMCDEL
- meSAT
- IDPDraw
- CLARION
- SCIPPlan
- pyrunlim
- CPCES
- Metaopt
This page was built for software: PDDL
