Automatic Generation of HTN Domains from VGDL Videogame Descriptions

Graphplan is an automated planning algorithm that takes as input a planning problem expressed in STRIPS and produces, if one is possible, a sequence of operations for reaching a goal state. I have implemented it here, alongside a few problem examples.

Java API for the oRatio solver

[SOCS-24] Novelty heuristics and multi-queue search for numeric planning. See socs24-width-and-mq branch

The Spectra Automated Planner for DCEC built on ShadowProver

Automated planning made with pddl, PDDL4J and planutils to tackle an emergency services logistics problem where the robotic agents must deliver some goods (food, medicine, tools) to people in need using a carrier and some boxes, and have to come up with the optimal plan. The strategy uses A-star search with a domain-specific heuristic

PLanning and Acting with TImeliNes under Uncertainty

This extension aims to allow agent-based models to account for norms. During plan generation, agents must be able to represent and reason about norms. The end-goal is to be able to describe a planning problem with norms endowed by its organizations through the various roles that the agent must fulfill, and see how it affects its plans.

Declarative Trace Alignment via Automated Planning