Alexander Laszlo (composer) (current) Lessons (Buffy the Vampire Slayer) Non-monotonic logic Port Meadow with Wolvercote Common and Green Rule-based machine translation Joe Kraemer (composer)