automated-reasoning

There are 5 repositories under automated-reasoning topic.

• sarsko / CreuSAT

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

  satverificationrustautomated-reasoningdeductive-reasoningformal-methodsformal-verificationminisatsat-solversatisfiabilityproofrust-lang
  Language:Rust 581

• guicho271828 / latplan

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

  deeplearningsearch-algorithmautomated-reasoning
  Language:Python 80

• dex3r / GPT-Codemaster

  Automatic programming by creating Pull Requests from Issues using LLMs

  aiautomated-programmingautomated-reasoningautomationchatgptgpt-4gpt-apillmopenaiopenai-apiprogramming
  Language:C# 53
• LogicCircuits.jl

  Tractables / LogicCircuits.jl

  Logic Circuits from the Juice library

  logiclogic-circuitslogical-reasoningautomated-reasoningjulia
  Language:Julia 49

• conp-solutions / mergesat

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

  satautomated-reasoning
  Language:C++ 37

• contrast-zone / reasoner.js

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

  graph-rewritingproduction-rulesautomated-reasoningtype-system
  Language:JavaScript 28

• bio-ontology-research-group / onto2vec

  Representation learning for ontologies and their annotations

  automated-reasoningmachine-learningontology
  Language:Groovy 20

• MachSMT / MachSMT

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

  algorithm-selectionautomated-reasoningmachine-learningsmtsmt-solver
  Language:Python 18

• CarsonScott / Automated-Logical-Systems

  Distributed constraint satisfaction with recursive message-passing agents

  automated-reasoningmachine-learningartificial-intelligencemulti-agent-systemsdistributed-systemsknowledge-representationknowledge-graph
  Language:Python 16

• julianmendez / cel

  A lightweight Description Logic reasoner for large-scale biomedical ontologies

  lispjavaowl-apiprotege-pluginautomated-reasoningtu-dresden
  Language:Common Lisp 16

• Herb-AI / HerbSWIPL.jl

  Julia wrapper around SWI Prolog

  logic-programmingprologartificial-intelligenceautomated-reasoningjulialogic
  Language:Julia 13

• imandra-ai / cme-mdp

  Imandra Modelling Language CME MDP Model

  cmemdpprotocolmarket-datamarket-data-handlerocamlimandraimandra-marketsformal-methodsformal-verificationautomated-reasoning
  Language:Jupyter Notebook 13

• julianmendez / jcel

  Reasoner for the description logic EL+.

  javaowl-apiprotege-pluginautomated-reasoningdescription-logicstu-dresdenjcel
  Language:Java 13

• bio-ontology-research-group / Onto2Graph

  Generating graph structures from OWL ontologies

  automated-reasoningontologygraphaxiomatic-semantics
  Language:JavaScript 11

• imandra-ai / ipl-examples

  Imandra Protocol Language example models

  imandraformal-verificationformal-methodsautomated-reasoningfix-protocolfix-enginetradingfinanceimandra-markets
  11

• julianmendez / born

  Bayesian Ontology Reasoner

  javaproblogowl-apiprobabilitiesvisual-interfacetu-dresdenjcelautomated-reasoning
  Language:Java 11

• maxadamski / reasonable-embeddings

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

  automated-reasoningdeep-learningdescription-logicsconcept-learningneuro-symbolic-learningtransfer-learningmachine-learning
  Language:Jupyter Notebook 11

• TathagataChakraborti / mmp

  Explanations in Multi-Model Planning

  explainable-artificial-intelligenceexplainable-aiautomated-reasoningplanningplanning-algorithmsplanning-domain-definition-languagehuman-robot-interaction
  Language:Python 10

• bio-ontology-research-group / AberOWL

  Ontology repository that provides Reasoning as as Service

  automated-reasoningontology-lookup-servicesontology-registryontology-repository
  Language:Groovy 9

• galactose / wviews

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

  automated-reasoninglogic-programming
  Language:Python 8

• ModelWriter / Tarski

  A Platform for Automated Analysis of Traceability (WP3)

  automated-reasoningformal-trace-semanticstraceabilityalloykodkodsmt
  Language:Java 8

• yrevar / inverse_rl

  Good intention is all you need!

  automated-reasoningintention-learninginverse-reinforcement-learningreinforcement-learningtensorflow
  Language:Jupyter Notebook 6

• CryptoSolvers / CryptoSolve

  Generate and Verify Cryptographic Modes of Operation using Symbolic Methods

  automated-reasoningcryptographyterm-rewritingunification
  Language:Python 5

• leoprover / scala-tptp-parser

  A parser for the TPTP logic languages for automated theorem proving written in Scala

  tptplogicscalaparserautomated-reasoningartificial-intelligencetheorem-proving
  Language:Scala 5

• mi-ki / cardCryptoVerification

  This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest bounds on card-minimal protocols.

  cryptographymultiparty-computationcard-protocolsbounded-model-checkingformal-verificationautomated-reasoningcbmc
  Language:C 5

• seonghobae / kaefa

  # kaefa kwangwoon automated exploratory factor analysis for improving research capability to identify unexplained factor structure with complexly cross-classified multilevel structured data in R environment

  mirtautomated-analysisautomated-reasoningautomated-machine-learningfactor-analysisexploratory-data-analysisexploratory-factor-analysismultilevel-modelsmodel-selectionexploratory-ifamachine-unlearning
  Language:R 5

• ArthurPrewette / Lecture-Buddy

  Automatically generates OCR-enabled PDF's and transcriptions of online lectures.

  automated-reasoningnote-takeroptical-character-recognitionpdf-generationvirtual-classroomocrtesseract
  Language:Python 4

• psmoros / AutomatedInference

  Open source educational tool for argumentation framework visualisation and semantic inference.

  artificial-intelligenceautomated-inferenceargumentationargumentation-theorydungsemantic-analysisextension-enumerationautomated-reasoningargumentation-frameworks
  Language:Python 3

• symcollab / CryptoSolve

  Moved to https://github.com/CryptoSolvers/CryptoSolve

  automated-reasoningcryptocryptographyunificationterm-rewriting
  Language:Python 3

• ivan-ristovic / BDD

  Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)

  cppbddautomated-reasoningbinary-decision-diagrams
  Language:TeX 2

• mi-ki / voting-rule-argumentation

  Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.

  social-choice-theorybounded-model-checkingargumentation-theoryautomated-reasoningcbmc
  Language:C 2

• ModelWriter / AlloyInEcore

  Embedding of First-Order Relational Logic into Meta-Object Facility

  alloyz3automated-reasoningmodel-driven-engineeringmofumlecore-metamodelecorekodkod
  Language:Java 2

• aureleeNet / formalizations

  This repository collects project-relevant Isabelle/HOL formalizations.

  isabelle-holargumentation-frameworkslogicreasoningautomated-reasoning
  Language:Isabelle 1

• I-O-Logic / iol-workbench

  A browser-based automated reasoner for Input/Output Logics

  automated-reasoninglogicdeontic-logicnormative-reasoningnorms
  Language:JavaScript 1

• jaalonso / Explorando-con-Lean

  Explorando formalizaciones con Lean

  automated-reasoninginteractive-theorem-provingleanmathproof-assistant
  Language:Lean 1

• NeuralCoder3 / prooftrees

  Exploration of interactive inference rule application/proofs using a unification approach.

  automated-reasoninginferencetypescriptunificationwebsite
  Language:TypeScript 1