research
∙
09/11/2022
The Complexity and Expressive Power of Second-Order Extended Logic
We study the expressive powers of SO-HORN^*, SO-HORN^r and SO-HORN^*r on...
share
research
∙
07/19/2022
Capturing the polynomial hierarchy by second-order revised Krom logic
We study the expressive power and complexity of second-order revised Kro...
research
∙
12/09/2019
Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism
We add logarithmic-bounded second-order quantifiers to the inflationary ...
research
∙
05/17/2018
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin
We proposed a framework of quantum-enhanced logic-based blockchain, whic...
research
∙
05/17/2018
Quantum-enhanced Logic-based Blochchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin
We proposed a framework of quantum-enhanced logic-based blockchain, whic...
research
∙
12/01/2014
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Canonical (logic) programs (CP) refer to normal logic programs augmented...
research
∙
08/30/2011