ACL2 System and Books as Maintained by the Community
-
Updated
Aug 19, 2024 - Common Lisp
ACL2 System and Books as Maintained by the Community
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
A Julia package for Prolog-style logic programming.
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Resolution theorem proving for predicate logic in pure Python.
Tarski - An AI Planning Modeling Framework
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
Python Symbolic Information Theoretic Inequality Prover
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
An automatic theorem prover for first order logic with equality
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Python library for computational formal logic, formal semantics, and theorem proving
Add a description, image, and links to the first-order-logic topic page so that developers can more easily learn about it.
To associate your repository with the first-order-logic topic, visit your repo's landing page and select "manage topics."