karimalami7 / EGGLinks
Evolving graph generator
☆10Updated 7 years ago
Alternatives and similar repositories for EGG
Users that are interested in EGG are comparing it to the libraries listed below
Sorting:
- ☆43Updated 2 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆81Updated 2 years ago
- AllegroGraph Python client☆44Updated last month
- Symbolic Generators for Complex Networks☆46Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Given an input graph (ArangoDB or PyG) it generates graph embeddings using Low-Code framework built on top of PyG.☆68Updated last year
- A Non-Axiomatic Reasoning System implemented in Python☆29Updated 4 months ago
- Interactive Spark Notebooks for running SANSA examples.☆29Updated 4 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 11 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Deep relational learning through differentiable logic programming.☆105Updated last year
- Simple SAT solver with CDCL implemented in Python☆17Updated 2 years ago
- The main repository integrating the LaTeX beamer-based slides☆26Updated 3 months ago
- Cleaning other people's dirty data.☆53Updated 4 years ago
- Aigents Java Core Platform☆31Updated 9 months ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆11Updated 5 years ago
- Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor☆14Updated 5 years ago
- Material for CDL2024 Masterclass: "Mastering Graph Neural Networks: From Fundamentals to Applications"☆12Updated 6 months ago
- Automatically exported from code.google.com/p/colore☆71Updated 7 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- System, demo, and user-submitted applications built on LinkedDataHub☆12Updated 2 weeks ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆14Updated 5 years ago
- ☆11Updated 3 years ago
- Transform UML into a formal OWL ontology and SHACL shapes☆37Updated 2 months ago
- OWL Class Expressions Learning in Python☆49Updated last week
- a list of StrongAI related resources.☆11Updated 2 years ago
- Data Science Ontology☆38Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year