Perform inference using Resolution proving by contradiction approach for First Order Logic Statements
☆13Jan 17, 2019Updated 7 years ago
Alternatives and similar repositories for FOL-Resolution
Users that are interested in FOL-Resolution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a bookkeeping software☆21Nov 7, 2018Updated 7 years ago
- 票据识别合成样本☆12Apr 23, 2021Updated 5 years ago
- Implementation of HySPLIT based trajectory modeling and analysis in python.☆10Jul 24, 2024Updated 2 years ago
- Implementation of the paper "Efficient and Accurate Arbitrary-Shaped Text Detection with Pixel Aggregation Network"☆16Nov 1, 2019Updated 6 years ago
- ☆14May 17, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A C++ program that can tell statements to and ask a query from a first order logic based knowledge base. Inserting statements into the kn…☆12Mar 2, 2017Updated 9 years ago
- UCLALES-SALSA is a Large-Eddy model coupled with a detailed sectional microphysics module for aerosol, clouds and precipitation☆16Jun 11, 2026Updated 2 months ago
- 哈工大2018秋计算机系统安全实验☆17Feb 28, 2019Updated 7 years ago
- TextMountain☆23Oct 25, 2020Updated 5 years ago
- ☆20Nov 30, 2021Updated 4 years ago
- docker-microtsocks☆11Sep 7, 2023Updated 2 years ago
- A 3D auto-encoder project based on ShapeNet dataset☆21Oct 17, 2019Updated 6 years ago
- Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow☆27Apr 4, 2021Updated 5 years ago
- email下载器，将邮件以eml文件格式备份到本地☆10Jul 23, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- this is a Gomoku game's client and server, which bulid by canvas and swoole☆45Jun 17, 2017Updated 9 years ago
- Library for parsing Lightning Network BOLT11 payment requests and encoding invoices into requests☆13Updated this week
- Pulse a heartbeat to redis. This can be used to detach or attach servers to nginx or similar problems☆12May 9, 2018Updated 8 years ago
- CORDEX Machine Learning benchmark☆38Jun 11, 2026Updated 2 months ago
- A way to rectify curve text images using spatial transformer by pairs of points.☆40Dec 9, 2020Updated 5 years ago
- ☆14Jan 11, 2024Updated 2 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- metapath2vec: Scalable Representation Learning for Heterogeneous Networks(KDD 2017) in Tensorflow☆32Aug 28, 2020Updated 5 years ago
- Parse lightning network payment requests (invoices) in Kotlin.☆22May 27, 2026Updated 2 months ago
- 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.
- GoLang Google Domains Dynamic DNS API Update Client☆10Oct 2, 2020Updated 5 years ago
- An opinionated template for new Golang cli projects.☆19Mar 28, 2026Updated 4 months ago
- MarkdownHan (stylized as M↓漢) is a Markdown dialect for Chinese and Japanese writing features such as ruby markups, inserted text, and de…☆17Nov 8, 2021Updated 4 years ago
- Dockerfile for tdlib/td☆14Feb 3, 2022Updated 4 years ago
- 以太坊中文百科大 全☆12Feb 9, 2020Updated 6 years ago
- 矿池中转☆13Jul 1, 2022Updated 4 years ago
- ☆12Jul 18, 2023Updated 3 years ago
- Mask R-CNN for object detection and instance segmentation on Keras==2.7.0 and TensorFlow==2.7.0☆42Aug 22, 2022Updated 3 years ago
- Demo on creating apps with L402 APIs, WebLN, and the Lightning Network☆11Jan 31, 2024Updated 2 years ago
- 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.
- PyTorch tutorial for using RNN and Encoder-Decoder RNN for time series forecasting☆42Jan 13, 2023Updated 3 years ago
- WARNING: This repository is no longer maintained This repository will not be updated. The repository will be kept available in read-only…☆13May 29, 2019Updated 7 years ago
- 基于关键字的配置化电商爬虫，目前已实现京东和苏宁（淘宝反爬太严重，因为没有使用selenium）☆12Jun 3, 2020Updated 6 years ago
- API client for the "Wallet of Satoshi" Bitcoin Lightning app.☆15Oct 3, 2024Updated last year
- 按银行卡卡号检测该银行卡类型，银行名称，银行代码☆15Sep 5, 2018Updated 7 years ago
- Canonical lnurl auth implementation☆16Updated this week
- Logs into twitter and tweets using puppeteer☆15Jan 5, 2023Updated 3 years ago