PrototypeCommune
ha-mo-we/Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
- Propriétaire
- ha-mo-we (compte personnel)
- Étoiles
- Étoiles : 117
- Forks
- Forks : 21
- Langage
- Common Lisp
- Licence
- Aucune
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Common Lisp
Tous les dépôts Common Lisp- madnificent/jsownÉtoiles : 117Common LispPrototype
- sharplispers/local-timeÉtoiles : 117Common LispPrototype
- Shinmera/LASSÉtoiles : 117Common LispPrototype
- ageneau/ecl-androidÉtoiles : 116Common LispPrototype