Popular GitHub Repositories for First Order Logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

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

Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)

Implementation of the machine comprehension model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)

1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.

Knowledge Representation paradigm to create a simple question-answering tool.

Assignment 2 for CS 1570: Introduction to Artificial Intelligence, at the University of Pittsburgh