Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
C++ 230 8
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
Haskell 3 1
Seeing something unexpected? Take a look at the GitHub profile guide.
schwering
Follow
