first-order-logic topic

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

roberthoenig

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

ai4reason

Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose

smaranjitghose

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

knowsys

Python Symbolic Information Theoretic Inequality Prover

cheuktingli

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

RichardMoot

[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

LHRLAB

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius

Tarski - An AI Planning Modeling Framework

aig-upf