Topic: automated-reasoning Goto Github
Some thing interesting about automated-reasoning
Some thing interesting about automated-reasoning
automated-reasoning,A simple inference engine using SPARQL to materialise inferences for RDFS and OWL2
User: aabs
automated-reasoning,Automatically generates OCR-enabled PDF's and transcriptions of online lectures.
User: arthurprewette
automated-reasoning,This repository collects project-relevant Isabelle/HOL formalizations.
Organization: aureleenet
automated-reasoning,Automated Theorem Proving with Extensions of First-Order Logic
User: aztek
Home Page: https://research.chalmers.se/en/publication/504640
automated-reasoning,Ontology repository that provides Reasoning as as Service
Organization: bio-ontology-research-group
Home Page: http://aber-owl.net
automated-reasoning,
Organization: bio-ontology-research-group
automated-reasoning,Generating graph structures from OWL ontologies
Organization: bio-ontology-research-group
automated-reasoning,Representation learning for ontologies and their annotations
Organization: bio-ontology-research-group
automated-reasoning,Distributed constraint satisfaction with recursive message-passing agents
User: carsonscott
automated-reasoning,Automated Reasoning project.
User: colle11
automated-reasoning,(work in progress) Conceptual s-expression based typed term graph rewriting system
User: contrast-zone
automated-reasoning,Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Organization: cryptosolvers
Home Page: https://cryptosolvers.github.io/CryptoSolve/
automated-reasoning,This repository contains codes of deep deducing playing Game of Life.
User: deepdeducing
automated-reasoning,
User: derjesko
automated-reasoning,Automatic programming by creating Pull Requests from Issues using LLMs
User: dex3r
automated-reasoning,Semester Project at LARA (EPFL)
User: floriancassayre
automated-reasoning,Solving the N-Queens Problem Using a SAT Solver
User: floyola
automated-reasoning,Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
User: galactose
automated-reasoning,Prototypical library and CLI assistant for research in logic.
User: greati
automated-reasoning,LatPlan : A domain-independent, image-based classical planner
User: guicho271828
automated-reasoning,Julia wrapper around SWI Prolog
Organization: herb-ai
automated-reasoning,A browser-based automated reasoner for Input/Output Logics
Organization: i-o-logic
automated-reasoning,Imandra Modelling Language CME MDP Model
Organization: imandra-ai
Home Page: https://www.imandra.ai
automated-reasoning,Imandra Protocol Language example models
Organization: imandra-ai
Home Page: https://www.imandra.ai
automated-reasoning,Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
User: ivan-ristovic
automated-reasoning,Recopilación de cursos de razonamiento automático.
User: jaalonso
automated-reasoning,Explorando formalizaciones con Lean
User: jaalonso
automated-reasoning,Automated knowledge and reasoning
User: juancasado
Home Page: http://www.mrblissfulgrin.com
automated-reasoning,Bayesian Ontology Reasoner
User: julianmendez
Home Page: https://julianmendez.github.io/born/
automated-reasoning,A lightweight Description Logic reasoner for large-scale biomedical ontologies
User: julianmendez
Home Page: https://julianmendez.github.io/cel/
automated-reasoning,Reasoner for the description logic EL+.
User: julianmendez
Home Page: https://julianmendez.github.io/jcel/
automated-reasoning,Towards an Automated Geometer
User: kovzol
automated-reasoning,Solutions to automated reasoning problems
User: leonvitanos
automated-reasoning,A parser for the TPTP logic languages for automated theorem proving written in Scala
Organization: leoprover
automated-reasoning,MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
Organization: machsmt
Home Page: https://machsmt.github.io/
automated-reasoning,A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks
User: maxadamski
automated-reasoning,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.
User: mi-ki
Home Page: https://doi.org/10.1007/s00354-020-00120-0
automated-reasoning,Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
User: mi-ki
automated-reasoning,Repository containing solutions to given assignments as a part of the Introduction to Artificial Intelligence university course.
User: mirtamoslavac
Home Page: https://www.fer.unizg.hr/en/course/itai
automated-reasoning,Embedding of First-Order Relational Logic into Meta-Object Facility
Organization: modelwriter
Home Page: https://modelwriter.github.io/AlloyInEcore/
automated-reasoning,A Platform for Automated Analysis of Traceability (WP3)
Organization: modelwriter
Home Page: https://modelwriter.github.io/Tarski/
automated-reasoning,Exploration of interactive inference rule application/proofs using a unification approach.
User: neuralcoder3
Home Page: https://neuralcoder3.github.io/prooftrees/
automated-reasoning,Open source educational tool for argumentation framework visualisation and semantic inference.
User: psmoros
automated-reasoning,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
automated-reasoning,# 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
User: seonghobae
automated-reasoning,Moved to https://github.com/CryptoSolvers/CryptoSolve
Organization: symcollab
Home Page: https://github.com/CryptoSolvers/CryptoSolve
automated-reasoning,Explanations in Multi-Model Planning
User: tathagatachakraborti
automated-reasoning,Logic Circuits from the Juice library
Organization: tractables
Home Page: https://juice-jl.github.io/LogicCircuits.jl/dev
automated-reasoning,Good intention is all you need!
User: yrevar
automated-reasoning,Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming
User: zucchi99
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.