44 citations · 48 across the 4 of their papers we have counts for
4 papers
Bifinite Chu Spaces
Manfred Droste, Guo-Qiang Zhang
This paper studies colimits of sequences of finite Chu spaces and their ramifications. Besides generic Chu spaces, we consider extensional and biextensional variants. In the corres…
Mastermind is NP-Complete
Jeff Stuckman, Guo-Qiang Zhang
In this paper we show that the Mastermind Satisfiability Problem (MSP) is NP-complete. The Mastermind is a popular game which can be turned into a logical puzzle called Mastermind…
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully ben…
Axiomatic Aspects of Default Inference
Guo-Qiang Zhang
This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information…