real-time-core-understanding-of-expert-system

DevOps methodology & roadmap for a devops developer in 2019. Interesting books to learn new technologies.

Spring AI powered expert system demo

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

Knowledge representation and expert systems examples

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

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

NephroDoctor: A simple Medical Expert System written in Prolog

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".

an intelligent local data healthcare application for tongue diagnosis aid.