MGlauer
Founding developer and former lead of @ChEB-AI, @OpenEnergyPlatform, @gavel-tool
Otto-von-Guericke-University Magdeburg
MGlauer's Stars
SmaDi-OBDMA/SmaDi-OBDMA-system
ChEB-AI/Chebifier
ontology-tools/py-horned-owl
A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.
IBM/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
ease-crc/soma
The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate motions that cause intentional effects in the physical and social world.
HumanBehaviourChangeProject/Info-extract
Repository of the HBCP project.
google/neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
semantics-ovgu/BivalenceWorld
jannahastings/chebiutils
sandialabs/Prove-It
A tool for proving and organizing general theorems using Python.
openintegrationhub/openintegrationhub
Open Integration Hub
openego/ding0
DIstribution Network Generat0r