matthewlynn
Researcher working in knowledge representation, automated reasoning, and automated planning.
Germany
matthewlynn's Stars
neo4j/neo4j
Graphs for Everyone
diffblue/cbmc
C Bounded Model Checker
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
chessai/hsdatalog
BDD-based implementation of Datalog
salmans/codd
A minimal in-memory database with relational algebraic expressions as queries
mxgmn/ConvChain
Bitmap generation from a single example with convolutions and MCMC
mxgmn/WaveFunctionCollapse
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
HarvardPL/AbcDatalog
Datalog that's as easy as ABC.
frankmcsherry/dynamic-datalog
Engines, queries, and data for dynamic Datalog computation
datalogui/datalog
Build UI declaratively with Datalog.
vilterp/datalog-ts
a datalog interpreter in typescript
jakehasler/datalog-interpreter
frankmcsherry/blog
Some notes on things I find interesting and important.
madgen/temporalog
A Datalog extension to reason about time with CTL operators
rswier/swieros
A tiny hand crafted CPU emulator, C compiler, and Operating System
solid/specification
Solid Technical Reports
semantalytics/awesome-semantic-web
A curated list of various semantic web and linked data resources.
rdfjs/N3.js
Lightning fast, spec-compatible, streaming RDF for JavaScript
prozacgod/macro-typescript-vectors
Using The GCC preprocessor to do macro expansion of vectors for typescript vector library.
hovertiger/MCTK2
MCTK2 is a symbolic model checker for multi-agent systems. It has a SMV-like input language, in which each agent is modeled as a module with observability description of variables. It currently supports the verification of CTLK, LTLK, ATLK, ATL*K and their time-bounded versions. These temporal epistemic logics are model checked based on the observable semantics.
md-k-sarker/ecii-expr
Experiments for AAAI-2019 paper: Efficient Concept Induction for Description Logics
dmfilho/raccoon
An experimental automted reasoner for description logics using a modified version of the connection method.
keebus/TinyReason
A tiny and simple Reasoner for the S Description Logic (that is ALC + Transitive Roles) written in standard and clean C++.
dmitry-vlasov/del
DEL stands for 'Decomposition in description logic EL'
kabhinav/PREDAA
Practical Reasoning in Expressive Description logic using Alternating Automata
julianmendez/gel
Generalization algorithms for the description logics EL and extensions.
konclude/Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
ethz-asl/libfactplusplus
FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
rvcx/hermit
A hypertableau-based Description Logic reasoner for OWL ontologies
dityas/Athene
A description logic reasoner for python.