PrototypeCommon
ha-mo-we/Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
- Owner
- ha-mo-we (personal account)
- Stars
- Stars: 117
- Forks
- Forks: 21
- Language
- Common Lisp
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Common Lisp
All Common Lisp repos- madnificent/jsownStars: 117Common LispPrototype
- sharplispers/local-timeStars: 117Common LispPrototype
- Shinmera/LASSStars: 117Common LispPrototype
- ageneau/ecl-androidStars: 116Common LispPrototype