schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Developer Profile
schwering
Discovered public repositories for schwering in the GitHub catalog.
schwering/torcs-drivers
TORCS robots for plan recognition experiments
schwering/golog
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
schwering/prgolog-old
Plan recognition system based on the situation calculus and Golog written in Mercury.
schwering/regexp
A regular expression library for Ada with support for intersection, union, etc.