automated-reasoning

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

LatPlan : A domain-independent, image-based classical planner

Logic Circuits from the Juice library

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

conceptual graph rewriting system for automated reasoning (WIP)

Representation learning for ontologies and their annotations

A lightweight Description Logic reasoner for large-scale biomedical ontologies

Distributed constraint satisfaction with recursive message-passing agents

Imandra Modelling Language CME MDP Model

Reasoner for the description logic EL+.

Imandra Protocol Language example models

Ontology repository that provides Reasoning as as Service

Generating graph structures from OWL ontologies

Bayesian Ontology Reasoner

Julia wrapper around SWI Prolog

Explanations in Multi-Model Planning

A Platform for Automated Analysis of Traceability (WP3)

Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs

Automatic programming by creating Pull Requests from Issues using LLMs

A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks