LogicLDA

Topic modeling with first-order logic (FOL) domain knowledge

Stars

33

Forks

14

Language

Java

Last Updated

Oct 19, 2023

Similar Repos
Repo Language Stars Description Updated At
Scala 3 A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic … Jul 16, 2021
Python 2 Experiments with intra-text topic modeling based on word order. Jan 29, 2015
F# 5 First-order (predicate) logic for F# Jul 27, 2022
Python 2 A simple first order logic solver Feb 22, 2024
C# 4 Simple first-order logic implementation for .NET. Apr 16, 2023
Prolog 3 Foundations of Artificial Intelligence Coursework: Knowledge Representation and Reasoning with Propositional Resolution and First-Order Logic … Jan 28, 2023
Rust 4 🍁 Rust crate for first-order logic with integer arithmetics Nov 22, 2021
Python 213 An automated theorem prover for first-order logic. Aug 02, 2022
Rust 6 First-order logic theorem prover supporting unification with approximate vector similarity Apr 30, 2023
C++ 3 topic modeling Mar 10, 2018
Jupyter Notebook 2 Topic modeling Dec 06, 2017
Jupyter Notebook 6 Crosslingual Topic Modeling with WikiPDA Aug 09, 2022
Jupyter Notebook 115 Topic modeling with word vectors Sep 09, 2022
Scala 9 First-order knowledge compilation for lifted probabilistic inference Aug 04, 2022
None 15 Experiments in identifying someone's interests/knowledge using word embedding & topic modeling Apr 16, 2020
Python 25 Differentiable First-Order Logic Reasoning for Visual Question Answering Jul 02, 2022
Scheme 26 A Declarative Theorem Prover for First-Order Classical Logic Apr 09, 2023
Python 5 Convert Abstract Meaning Representation (AMR) into first-order logic Feb 14, 2023
Jupyter Notebook 2 Topic- and Structured Topic Modeling Aug 20, 2023
Jupyter Notebook 3 Topic modeling project with Reddit posts Nov 17, 2021
Jupyter Notebook 2 Some tweet topic modeling with NMF Oct 09, 2022
JavaScript 24 Topic Modeling with Python, PyTexas 2015 Jul 14, 2022
Python 73 Nonparametric Topic Modeling with Word Vectors Sep 15, 2022
Python 163 Topic modeling with gensim and LDA Jun 09, 2022
Python 22 Ensemble topic modeling with matrix factorization Mar 22, 2023
R 4 Correlated topic modeling Jul 19, 2020
C++ 9 collaborative topic modeling Jan 22, 2018
Scala 14 Topic modeling utilities Nov 24, 2018
Java 24 Interactive topic modeling Oct 08, 2021
Python 30 Neural topic modeling May 19, 2021
Jupyter Notebook 31 dynamic topic modeling Sep 07, 2022
C++ 61 collaborative topic modeling May 14, 2022
Scala 9 Fun experiments with domain modeling May 20, 2022
TypeScript 50 Functional Domain Modeling with Typescript Mar 17, 2023
CSS 14 Domain Modeling with Mirage JS Nov 04, 2022
Python 95 DSTC9 Track 1 - Beyond Domain APIs: Task-oriented Conversational Modeling with Unstructured Knowledge Access Apr 04, 2023
Python 7 Sentence Topic Prediction using Topic Modeling Jun 22, 2020
Scala 2 Fortress: Finite Model Finder for Many-Sorted First-Order Logic Feb 25, 2023
Scala 18 Proof assistant based on first-order logic and set theory Apr 06, 2023
Standard ML 2 intuitionistic completeness of first order logic à la Constable & Bickford Jun 27, 2015
Java 8 A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes. Feb 07, 2022
None 9 Getting started with the Topic Modeling Tool Oct 16, 2021
Jupyter Notebook 2 Real-time Twitter topic modeling with PySpark Nov 15, 2021
Jupyter Notebook 26 Sentiment Analysis & Topic Modeling with Amazon Reviews Aug 17, 2022
Jupyter Notebook 56 Topic modeling with BigARTM: an interactive book Jul 28, 2022
Rust 27 A fast, brute force, automatic theorem prover for first order logic Jul 13, 2022
JavaScript 2 A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫. Jan 21, 2023
Haskell 14 Paradox model finder and equinox theorem prover for first-order logic. Jun 15, 2022
Julia 3 Experiments on topic modeling Aug 21, 2014
JavaScript 3 SuperUser forum topic modeling Jun 03, 2019