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
- CIARA (Cluster Independent Algorithm for the identification of markers of RAre cell types) is an R package that identifies potential mar…☆18Jan 1, 2026Updated 6 months ago
- ☆20Jun 12, 2026Updated last month
- An open brain MRI dataset and baseline evaluations for tumor recurrence prediction☆11Apr 29, 2024Updated 2 years ago
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Dec 26, 2018Updated 7 years ago
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 11 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
- ☆16Aug 7, 2014Updated 11 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- A numerical linear algebra library in Common Lisp.☆16Feb 1, 2023Updated 3 years ago
- Library for loading & saving the Binvox files☆10May 20, 2023Updated 3 years ago
- Halma game with an AI player, move validation, and dynamic board sizing☆11May 14, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆60Feb 27, 2018Updated 8 years ago
- latent semantic analysis experiments☆19Apr 20, 2010Updated 16 years ago
- ☆12May 21, 2017Updated 9 years ago
- Domain-Specific Music Generation using a deep LSTM and a VAE in Keras.☆17Nov 19, 2018Updated 7 years ago
- Project-GAMES101☆15Jun 16, 2021Updated 5 years ago
- Course assignments☆10Jan 11, 2018Updated 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
- ☆14May 17, 2024Updated 2 years ago
- The implementation for automatically predicting dose distribution map via beam-wise dose composition learning (BDCL) method.☆24Apr 10, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A python based infrastructure for cloud large eddy simulation.☆19Jul 2, 2026Updated 3 weeks ago
- This is the GitHib mirror of the development repository for the FLEXPART model☆23Feb 9, 2021Updated 5 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 7 years ago
- ☆24Feb 10, 2025Updated last year
- A tiny lexical analyser generator☆19Nov 29, 2011Updated 14 years ago
- This addon fully implement Qt VS Addin☆12Jun 10, 2026Updated last month
- 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
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆41Jul 21, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Three dimensional atmospheric dynamical core using the Gung Ho numerics.☆19Updated this week
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- Ninjadev's new school demo "Construct" for Solskogen 2019☆13Jul 14, 2019Updated 7 years ago
- ☆15Sep 26, 2025Updated 10 months ago
- Support code for implementing a Kubernetes cloud provider for Google Cloud Platform☆41Updated this week
- UCLALES-SALSA is a Large-Eddy model coupled with a detailed sectional microphysics module for aerosol, clouds and precipitation☆16Jun 11, 2026Updated last month
- Calculate black-sky, white-sky, and actual albedo from MODIS MCD43A1 BRDF parameters product with custom solar zenith angle and solar opt…☆17Dec 19, 2018Updated 7 years ago