A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the knowledge base required converting them to CNF form before transforming them to the knowledge base's internal data structure which is optimized for their retrieval and processing. The resolution inference algorit…
☆12Mar 2, 2017Updated 9 years ago
Alternatives and similar repositories for First-Order-Logic-Inference-Engine
Users that are interested in First-Order-Logic-Inference-Engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of entropy of mixing algorithm in python☆10Oct 19, 2022Updated 3 years ago
- ☆17Apr 16, 2026Updated 2 weeks ago
- CIARA (Cluster Independent Algorithm for the identification of markers of RAre cell types) is an R package that identifies potential mar…☆16Jan 1, 2026Updated 4 months ago
- An open brain MRI dataset and baseline evaluations for tumor recurrence prediction☆11Apr 29, 2024Updated 2 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- cl-blapack is a set of common lisp bindings to blas and lapack. This particular repo tracks modifications of Evan Monroig's modification…☆16Mar 27, 2017Updated 9 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 10 years ago
- Code for ICLR 2022 publication: Who Is the Strongest Enemy? Towards Optimal and Efficient Evasion Attacks in Deep RL. https://openreview…☆10Aug 31, 2024Updated last year
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- Library for loading & saving the Binvox files☆10May 20, 2023Updated 2 years ago
- A numerical linear algebra library in Common Lisp.☆16Feb 1, 2023Updated 3 years ago
- Exploring Machine Learning methods and workflows in a simplified weather model☆19Jun 6, 2024Updated last year
- Official repository for the SAI Simulator, a new tool to explore the effects of stratospheric aerosol injection on the climate.☆18Mar 19, 2026Updated last month
- ☆60Feb 27, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 10 years ago
- ☆12May 21, 2017Updated 8 years ago
- Public-facing git repository for JAMES submission, "Benchmarking of machine learning ocean parameterizations in an idealized model"☆11Feb 20, 2023Updated 3 years ago
- Project-GAMES101☆15Jun 16, 2021Updated 4 years ago
- ☆14May 17, 2024Updated last year
- ☆23Feb 10, 2025Updated last year
- Three dimensional atmospheric dynamical core using the Gung Ho numerics.☆18Updated this week
- Halma game with an AI player, move validation, and dynamic board sizing☆11May 14, 2018Updated 7 years ago
- Course assignments☆10Jan 11, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A python based infrastructure for cloud large eddy simulation.☆18Jan 31, 2026Updated 3 months ago
- The implementation for automatically predicting dose distribution map via beam-wise dose composition learning (BDCL) method.☆23Apr 10, 2025Updated last year
- Domain-Specific Music Generation using a deep LSTM and a VAE in Keras.☆17Nov 19, 2018Updated 7 years ago
- A Java parser to convert xlsx sheets to JSON☆21Jan 2, 2020Updated 6 years ago
- Futures implementation for JSON-RPC☆14May 29, 2019Updated 6 years ago
- A tiny lexical analyser generator☆19Nov 29, 2011Updated 14 years ago
- A lexical scanner and parser in C++ for Code analyzer which will extract lexical content from source code files, analyze the code’s synta…☆10Mar 14, 2016Updated 10 years ago
- This addon fully implement Qt VS Addin☆12Mar 6, 2019Updated 7 years ago
- Ninjadev's new school demo "Construct" for Solskogen 2019☆12Jul 14, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- DoseDiff: Distance-aware Diffusion Model for Dose Prediction in Radiotherapy☆37Apr 11, 2025Updated last year
- A collection of quantile and quadrature routines for Z, Chi^2, and Student's T hypothesis tests☆11Apr 25, 2024Updated 2 years ago
- A curated list of cryptography resources and links.☆11Feb 18, 2017Updated 9 years ago
- SpookyHash in C☆15Aug 28, 2015Updated 10 years ago
- A generic Tf-Idf utility with example code that works on n-grams extracted from a text document.☆22Sep 5, 2014Updated 11 years ago
- Automatic Radiotherapy Treatment Planning ， Knowledge-Based Planning ， Dose Prediction ， Cascade 3D Network (C3D) ，DCNN, Head and Neck ,…☆36Dec 1, 2020Updated 5 years ago