vritvij / First-Order-Logic-Inference-EngineView external linksLinks
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 8 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
Sorting:
- An open brain MRI dataset and baseline evaluations for tumor recurrence prediction☆11Apr 29, 2024Updated last year
- ☆10Dec 26, 2018Updated 7 years ago
- ☆16Jan 30, 2026Updated 2 weeks ago
- Public-facing git repository for JAMES submission, "Benchmarking of machine learning ocean parameterizations in an idealized model"☆13Feb 20, 2023Updated 2 years ago
- ☆10Apr 24, 2016Updated 9 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
- 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 9 years ago
- Ninjadev's new school demo "Construct" for Solskogen 2019☆13Jul 14, 2019Updated 6 years ago
- Library for loading & saving the Binvox files☆10May 20, 2023Updated 2 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- A collection of quantile and quadrature routines for Z, Chi^2, and Student's T hypothesis tests☆11Apr 25, 2024Updated last year
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 10 years ago
- Course assignments☆10Jan 11, 2018Updated 8 years ago
- Official repository for the SAI Simulator, a new tool to explore the effects of stratospheric aerosol injection on the climate.☆16Aug 21, 2025Updated 5 months ago
- This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.☆14Jul 21, 2021Updated 4 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- Exploring Machine Learning methods and workflows in a simplified weather model☆19Jun 6, 2024Updated last year
- an implementation of a lsmtree☆11Feb 18, 2023Updated 2 years ago
- Three dimensional atmospheric dynamical core using the Gung Ho numerics.☆18Updated this week
- A curated list of cryptography resources and links.☆10Feb 18, 2017Updated 8 years ago
- Visualize and control your C++ application with a web browser using variables shared over websockets between C++/JS. No dependencies, sin…☆40Oct 1, 2014Updated 11 years ago
- ☆12May 21, 2017Updated 8 years ago
- A Tethered Ring is a dynamic structure that can cost-effectively support space launch facilities, transportation infrastructure, and a si…☆14Jan 20, 2026Updated 3 weeks ago
- ☆15Sep 22, 2017Updated 8 years ago
- ☆11Jun 4, 2025Updated 8 months ago
- UCLALES-SALSA is a Large-Eddy model coupled with a detailed sectional microphysics module for aerosol, clouds and precipitation☆15Jan 2, 2026Updated last month
- Code and notes for "Bayesian Reasoning and Machine Learning☆15Oct 31, 2017Updated 8 years ago
- ☆14May 17, 2024Updated last year
- FPGA Hardware Simulation Framework☆16Oct 13, 2025Updated 4 months ago
- EXORCISE THE DEMONIC CRAPWARE FROM YOUR WINDOWS 10 COMPUTER!☆13Nov 8, 2021Updated 4 years ago
- This addon fully implement Qt VS Addin☆12Mar 6, 2019Updated 6 years ago
- Convert visual studio sln to CMakeLists☆15Aug 28, 2016Updated 9 years ago
- Calculate black-sky, white-sky, and actual albedo from MODIS MCD43A1 BRDF parameters product with custom solar zenith angle and solar opt…☆16Dec 19, 2018Updated 7 years ago
- Volume integral equation solver for electromagnetic scattering simulations☆16Apr 16, 2019Updated 6 years ago
- Cargo is library for saving/restoring C/C++ structures over a given backend medium (json, sqlite, gvariant, file dscriptor)☆14Mar 15, 2016Updated 9 years ago
- Kolja Thormann, Shishan Yang, and Marcus Baum. "A Comparison of Kalman Filter-based Approaches for Elliptic Extended Object Tracking (to …☆11Feb 24, 2022Updated 3 years ago
- PHD Filter SLAM with CUDA☆22Jul 17, 2014Updated 11 years ago
- Go implementation of Kademlia protocol for Princeton COS 518☆12May 13, 2018Updated 7 years ago