Cong Cao

The Boolean Algebra Logic: The Soundness and Completeness Theorem

2017

A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional variables to a Boolean algebra. …

A Novel Shortest Path Query Algorithm Based on Optimized Adaptive Topology Structure

2024 · arXiv (Cornell University)

Urban rail transit is a fundamental component of public transportation, however, commonly station-based path search algorithms often overlook the impact of transfer times on search results, leading to decreased accuracy. To solve this problem, this …

Neural Extractive Summarization with Hierarchical Attentive Heterogeneous Graph Network

2020

Sentence-level extractive text summarization is substantially a node classification task of network mining, adhering to the informative components and concise representations. There are lots of redundant phrases between extracted sentences, but it is difficult to …