hoangphuc1998 / LogicLinks
Forward chaining, Backward Chaining and Resolution in First-Order Logic
☆6Updated 6 years ago
Alternatives and similar repositories for Logic
Users that are interested in Logic are comparing it to the libraries listed below
Sorting:
- With this Python script, the mouse pointer is moved periodically in order to bypass ideal detection.☆13Updated 2 years ago
- Python-based Legal Advisor harnesses the power of advanced Language Models for comprehensive legal guidance 📚. Uses LLM internally to gi…☆12Updated last year
- Courier Management System allows to manage and optimize the process of shipping and delivering packages. It typically includes features s…☆12Updated last year
- a sentiment analysis of comments in a facebook page using python 3.5 facebook graph api and NLTK☆9Updated 7 years ago
- A simple , secure , trustable and quantum safe password manager in Python3.☆9Updated 2 years ago
- A free open source application to keep all your passwords in one safe place with a high level of privacy :)☆8Updated last year
- HireMate is a platform for HR managers to automate Tasks, such as job description analysis and enhancement, CV shortlisting and preparati…☆9Updated 6 months ago
- This is a project based on opencv-python which estimates height of an object based upon its picture. It uses a the height reference of a …☆9Updated 4 years ago
- Recommender system for detecting complementary products based on products' textual attributes using Siamese Neural Networks. This code is…☆13Updated 4 years ago
- An NLP project which aims to summarize a twitter profile and report what the owner of the profile loves and hates.☆8Updated 3 months ago
- Stress detection and efficiency prediction using machine learning.☆10Updated 3 years ago
- Combining The Power Of Machine Learning And Automation , We Made A Tool To By Pass Captcha Of www.geca.ac.in 's MIS Login using Machine L…☆10Updated 2 years ago
- Authorship Attribution of Tweets using Convolutional Neural Networks Over character n-grams☆11Updated 7 years ago
- Fulfil.IO Python API Client☆9Updated last year
- Keystroke Dynamics Using LSTMs☆17Updated 7 years ago
- ☆16Updated 8 years ago
- Generate dataset for keystroke timings for exploratory and research purposes.☆17Updated 4 months ago
- Shiftly is an Android app which provides an easy and interactive way for both employers and employees to manage scheduling at work.☆9Updated 5 years ago
- Natural Language Processing☆28Updated last year
- Food Waste Management with Predictive Analysis to Restuarants☆16Updated 6 years ago
- Customs Import Declaration Datasets☆7Updated last year
- This script is designed to automate the process of creating and posting images to your Pinterest account.☆9Updated 2 years ago
- A Streamlit webapp deployed on Hugging Face Spaces featuring multiple AI agents built using LangGraph, LangChain, and LLMs. Includes a St…☆15Updated last month
- A curated list of Neuro-Symbolic Visual Reasoning☆14Updated 3 years ago
- Implementation of paper - Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning (https://arxiv.org/abs/2310.04474v2)☆16Updated last year
- A Natural Language Processing based project that aims at categorizing e-commerce products based on their description using Machine Learni…☆20Updated 4 years ago
- Googletrans google translation flask extension☆12Updated 4 years ago
- This project has been developed as a POC to show how we can use HashiCorp Vault with Django. The main objective is that there will be no …☆10Updated 2 years ago
- This project takes the arXiv dataset and builds an automatic tag classifier from the arXiv article/paper titles☆13Updated 3 years ago
- ☆24Updated 3 years ago