LatPlan : A domain-independent, image-based classical planner
-
Updated
Aug 17, 2021 - Python
#
automated-reasoning
Here are 36 public repositories matching this topic...
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
-
Updated
Aug 16, 2021 - C++
A lightweight Description Logic reasoner for large-scale biomedical ontologies
-
Updated
Jul 8, 2021 - Common Lisp
Distributed constraint satisfaction with recursive message-passing agents
distributed-systems
machine-learning
artificial-intelligence
knowledge-graph
multi-agent-systems
knowledge-representation
automated-reasoning
-
Updated
Dec 11, 2017 - Python
Representation learning for ontologies and their annotations
-
Updated
Apr 29, 2020 - Groovy
Imandra Protocol Language example models
finance
trading
formal-methods
formal-verification
fix-protocol
automated-reasoning
imandra
fix-engine
imandra-markets
-
Updated
May 27, 2021
Reasoner for the description logic EL+.
-
Updated
Jul 8, 2021 - Java
Imandra Modelling Language CME MDP Model
protocol
ocaml
mdp
market-data
formal-methods
formal-verification
cme
automated-reasoning
imandra
market-data-handler
imandra-markets
-
Updated
May 12, 2020 - Jupyter Notebook
Ontology repository that provides Reasoning as as Service
-
Updated
Oct 18, 2017 - Groovy
Generating graph structures from OWL ontologies
-
Updated
Nov 21, 2017 - JavaScript
Explanations in Multi-Model Planning
planning
human-robot-interaction
automated-reasoning
planning-domain-definition-language
planning-algorithms
explainable-artificial-intelligence
explainable-ai
-
Updated
Oct 30, 2019 - Python
Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
-
Updated
Apr 25, 2018 - Python
A Platform for Automated Analysis of Traceability (WP3)
-
Updated
Dec 23, 2017 - Java
# 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
exploratory-data-analysis
mirt
model-selection
exploratory-factor-analysis
exploratory-ifa
multilevel-models
factor-analysis
automated-analysis
automated-machine-learning
automated-reasoning
machine-unlearning
-
Updated
Nov 1, 2019 - R
Bayesian Ontology Reasoner
-
Updated
Jul 8, 2021 - Java
"Where the senses fail us, reason must step in." –Galileo Galilei
-
Updated
Jun 8, 2021 - Jupyter Notebook
Open source educational tool for argumentation framework visualisation and semantic inference.
artificial-intelligence
argumentation
semantic-analysis
automated-reasoning
automated-inference
argumentation-theory
dung
extension-enumeration
argumentation-frameworks
-
Updated
May 7, 2018 - Python
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.
cryptography
formal-verification
bounded-model-checking
cbmc
automated-reasoning
multiparty-computation
card-protocols
-
Updated
Jul 13, 2021 - C
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
-
Updated
Jul 25, 2018 - TeX
Embedding of First-Order Relational Logic into Meta-Object Facility
-
Updated
Apr 30, 2019 - Java
This repository contains codes illustrating how deep deducing plays Game of Life.
deep-learning
stochastic-gradient-descent
back-propagation
automated-reasoning
deduction
conways-game-of-life
-
Updated
May 22, 2020 - Python
Towards an Automated Geometer
-
Updated
Apr 27, 2020 - HTML
A browser-based automated reasoner for Input/Output Logics
-
Updated
Jul 20, 2021 - JavaScript
Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.
-
Updated
Jul 13, 2021 - C
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
-
Updated
Jan 26, 2021 - Python
Recopilación de cursos de razonamiento automático.
coq
proof-assistant
courses
agda
lean
isabelle-hol
prover9
pvs
interactive-theorem-proving
otter
automated-reasoning
acl2
-
Updated
Feb 1, 2020
Solving the N-Queens Problem Using a SAT Solver
haskell
nqueens-problem
z3
sat-solver
propositional-logic
automated-reasoning
nqueens
satisfiability
-
Updated
Apr 11, 2020 - Haskell
-
Updated
Sep 19, 2017 - Groovy
Automated knowledge and reasoning
-
Updated
Jan 14, 2020 - Prolog
Improve this page
Add a description, image, and links to the automated-reasoning topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the automated-reasoning topic, visit your repo's landing page and select "manage topics."
Write a function to export our
Dags toSimpleGraphs.jl, at which point we could visualize them and check whether certain traversal algorithms would be faster in that framework.