R
reasoning

Projects with this topic

View iprover project

Konstantin Korovin / iprover
CI/CD Catalog (unpublished)

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

theorem proving AI verification Model Checking SMT TPTP QBF DQBF aig logic reasoning

7

Updated Nov 27, 2025

7 7 0 0

Updated Nov 27, 2025
View DeMorgan.jl project

Dream Scatter / DeMorgan.jl

Classical logic truth table magma algebra

algebra mathematics computer-alg... proof logic Proof Assistant formal proof propositiona... reasoning

0

Updated Nov 29, 2023

0 0 0 0

Updated Nov 29, 2023
View consequentia project

Renato Reis Leme / consequentia

An automated system for Tableaux methods.

logic tableau automated reasoning

0

Updated May 20, 2020

0 0 0 0

Updated May 20, 2020
View KnowledgeContainers project

Lorenzo Cugini / KnowledgeContainers

Strategies to represent knowledge in Computer Science.

XML DTD XSD SAX N3 NOTATION3 RDF RDFS OWL GrOWL ontology SPARQL Web of Data semantic web knowledge semantic reasoning Reasoner

0

Updated Jun 06, 2019

0 0 0

Updated Jun 06, 2019