schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Public GitHub Catalog
Discovered Sep 26, 2026
schwering / prgolog-old
Plan recognition system based on the situation calculus and Golog written in Mercury.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#5904326GitHub System ID
schweringOrganization / User
PublicVisibility
ActiveCatalog Status
More from schwering
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/regexp
A regular expression library for Ada with support for intersection, union, etc.