schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Public GitHub Catalog
Discovered Sep 27, 2026
schwering / golog
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9372969GitHub System ID
schweringOrganization / User
PublicVisibility
ActiveCatalog Status
More from schwering
schwering/torcs-drivers
TORCS robots for plan recognition experiments
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.