GIPO
GIPO is an experimental GUI and tools environment for building planning domain models.
ASAP
ASAP, is an automatic Algorithm Selection Approach for Planning
MUM
MUM is a technique for synthesising macros from training examples in order to improve the speed and coverage of domain independent automated planning engines
SemOpt
SemOpt is a novel SAT-based approach for preferred extension enumeration in abstract argumentation
Useful Links
ItSimple
The itSIMPLE Project aims to study and develop a Knowledge Engineering tool for designing AI Planning & Scheduling domain models
LPG
LPG (Local Search for Planning Graphs) is a planner based on local search and planning graphs that handles PDDL2.2