Efficient Forward Reasoning for Aesop

Talk on my joint work with Jannis Limperg on incremental forward reasoning.

See video and slides.