PrototypeCommon
schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
- Owner
- schwering (personal account)
- Stars
- Stars: 233
- Forks
- Forks: 13
- Language
- C++
- License
- MIT
- Created
- 2014
- Topics
- logicreasoningknowledgebeliefs
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in C++
All C++ repos- PedroKTFC/esphome-tesla-bleStars: 233C++Prototype
- localai-org/skin-tokens.cppStars: 233C++Prototype
- alphanu1/daytona-arcade-recompStars: 233C++Prototype
- adafruit/Adafruit_INA219Stars: 233C++Prototype
- ros-perception/laser_filtersStars: 233C++Prototype
- ChromiumWebApps/chromiumStars: 233C++Prototype