SHOP2
From MaRDI portal
Cited in
(32)- Learning action models from plan examples using weighted MAX-SAT
- HyperTensioN
- WSAT
- JavaLog
- GOLOG
- UDDI
- IPC-4
- A compiler for MSVL and its applications
- ML-plan: automated machine learning via hierarchical planning
- MWB
- AspectWerkz
- HTN-like solutions for classical planning problems: an application to BDI agent systems
- SuperBot
- M-TRAN
- Molecubes
- A controller synthesis framework for automated service composition
- Deliberative acting, planning and learning with hierarchical operational models
- Group planning with time constraints
- SWORD
- Computing programs for generalized planning using a classical planner
- Estimating the probability of meeting a deadline in schedules and plans
- A temporal logic programming approach to planning
- Hector
- TEXPLORE
- ASSAM
- RiTHM
- Scheduling of Flow-Shop, Job-Shop, and Combined Scheduling Problems using MOEAs with Fixed and Variable Length Chromosomes
- Prodigy
- scientific article; zbMATH DE number 2038904 (Why is no real title available?)
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure
- Task decomposition on abstract states, for planning under nondeterminism
- Modular robotic systems: methods and algorithms for abstraction, planning, control, and synchronization
This page was built for software: SHOP2
