Foundations of Artificial Intelligence (FAI) Group
divider line

   Home    People    Research    Projects    Software    Teaching    Publications

About this page. Much of the research in FAI involves the development of software as part of the work. Our philosophy is to share the source code as much as possible. This page gives links to most of our developments, so far as ready for release. All downloadable material is free for research and educational purposes.

Neural Action Policy Verification and Testing.

Explainable Planning.

Minecraft instruction generation.

We have established a software infrastructure for running online user experiments with instruction giving in Minecraft.

Planning Benchmarks.

FD Partial Delete Relaxation.

FD Probabilistic Planning.

FD Star-Topology Decoupling.

Symbolic Search Library.

FD Abstractions & Symmetries. To get the following code please contact Michael Katz.

Planning Tools not based on Fast Downward.

Data protection