IEEE

Constructing first-order loops of normal logic programs

Abstract: It is possible that a logic program has no finite complete sets of loops. For instance, the Hamiltonian circuit problem encoded by Nielemä is such a logic program. This means that the ...
GitHub

A coroutine-first SQL toolkit with compile-time query validations for Kotlin Multiplatform. PostgreSQL, MySQL/MariaDB, and SQLite supported.

sqlx4k is not an ORM. Instead, it provides a comprehensive toolkit of primitives and utilities to communicate directly with your database. The focus is on giving you control while catching errors ...
IEEE

BFOD: Blockchain-Based Privacy Protection and Security Sharing Scheme of Flight Operation Data

Abstract: With the rapid growth of flight operation data, how to alleviate the contradiction between data sharing and privacy protection of civil aviation corporations has become a challenging problem ...
GitHub

First-order logic theorem prover supporting unification with approximate vector similarity

tensor-theorem-prover can be used either as a standard symbolic first-order theorem prover, or it can be used with vector embeddings and fuzzy unification. The basic setup requires listing out ...