PrototypeCommune
schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
- Propriétaire
- schwering (compte personnel)
- Étoiles
- Étoiles : 233
- Forks
- Forks : 13
- Langage
- C++
- Licence
- MIT
- Création
- 2014
- Sujets
- logicreasoningknowledgebeliefs
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts C++
Tous les dépôts C++- Taiga74164/SLA-CheetoÉtoiles : 233C++Prototype
- PedroKTFC/esphome-tesla-bleÉtoiles : 233C++Prototype
- localai-org/skin-tokens.cppÉtoiles : 233C++Prototype
- adafruit/Adafruit_INA219Étoiles : 233C++Prototype
- ros-perception/laser_filtersÉtoiles : 233C++Prototype
- stealth/fraud-bridgeÉtoiles : 233C++Prototype