Awesome Open Source

Programming Languages

Search results for automated reasoning

automated-reasoning x

18 search results found

Creusat ⭐ 587

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

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

Logiccircuits.jl ⭐ 39

Logic Circuits from the Juice library

Reasoner.js ⭐ 27

(work in progress) Conceptual s-expression based typed term graph rewriting system

Gpt Codemaster ⭐ 22

Automatic programming by creating Pull Requests from Issues using LLMs

A lightweight Description Logic reasoner for large-scale biomedical ontologies

Reasoner for the description logic EL+.

Bayesian Ontology Reasoner

Ipl Examples ⭐ 11

Imandra Protocol Language example models

Automated Logical Systems ⭐ 11

Distributed constraint satisfaction with recursive message-passing agents

Imandra Modelling Language CME MDP Model

MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

Representation learning for ontologies and their annotations

Reasonable Embeddings ⭐ 7

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

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

Onto2graph ⭐ 7

Generating graph structures from OWL ontologies

A Platform for Automated Analysis of Traceability (WP3)

Explanations in Multi-Model Planning

Related Searches

Python Automated Reasoning (6)

Java Automated Reasoning (5)

Artificial Intelligence Automated Reasoning (5)

Html Automated Reasoning (4)

Owl Automated Reasoning (4)

Automated Reasoning Graph Rewriting (3)

Automated Reasoning Production Rules (3)

Owl Api Automated Reasoning (3)

Tu Dresden Automated Reasoning (3)

Formal Verification Automated Reasoning (3)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.