KARMA (Knowledge Acquisition, Reasoning, and MAnagement)'s repositories
laser-plus-plus
Implementation of Laser written in C++
glog-python
Python library to access the GLog/VLog reasoning engines
KARMA is a research unit in the computer science dept. at the Vrije Universiteit of Amsterdam
Implementation of Laser written in C++
Python library to access the GLog/VLog reasoning engines