Explore projects

A collection of user studies on formal proof representations

theoretical and practical contributions

Benchmark collection used in the KR21 planning & dl-lite paper. The collection contains several eKAB (original and new) domains, eKAB versions of two WSC domains, and modified PDDL benchmarks.

A PDDL pre-processor tool for the paper "Making DL-Lite Planning Practical" written in C for realizing a polynomial DNF transformation. It works in two modes: ``derived predicates'' or naive transformation.