Zaiyue Zhang

According to our database, Zaiyue Zhang authored at least 24 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

基于语义文法的地理实体位置关系的获取 (Acquiring Relationships Between Geographical Entities Based on Semantic Grammar).

Qi Zhou, Ye Lu, Tingyu Li, Ya Wang, Zaiyue Zhang, Cungen Cao

计算机科学, 2016

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.

Cungen Cao, Yuefei Sui, Zaiyue Zhang

Frontiers Comput. Sci., 2016

2014

Tolerance-based multigranulation rough sets in incomplete systems.

Zaiyue Zhang, Xibei Yang

Frontiers Comput. Sci., 2014

2012

Particle Swarm Optimization Algorithm for the Shortest Confidence Interval Problem.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Comput., 2012

2011

Road Traffic Freight Volume Forecast Using Support Vector Machine Combining Forecasting.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Softw., 2011

On a Generalization of Cubic Spline Interpolation.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Softw., 2011

Differentiation and Numerical Integral of the Cubic Spline Interpolation.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Comput., 2011

2010

A Novel Ant Colony Genetic Hybrid Algorithm.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Softw., 2010

Calculating Weights Methods in Complete Matrices and Incomplete Matrices.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Softw., 2010

Multiplicate Particle Swarm Optimization Algorithm.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Comput., 2010

2009

Multiplication Operation on Fuzzy Numbers.

Shang Gao, Zaiyue Zhang, Cungen Cao

J. Softw., 2009

2008

Types, structures and theories in NKI.

Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui

Frontiers Comput. Sci. China, 2008

2007

Immune Genetic Algorithm for Weapon-Target Assignment Problem.

Shang Gao, Zaiyue Zhang, Xiaoru Zhang, Cungen Cao

Proceedings of the Workshop on Intelligent Information Technology Application, 2007

2006

A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.

Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu

Theor. Comput. Sci., 2006

A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.

Zaiyue Zhang, Yuefei Sui, Cungen Cao

Proceedings of the Theory and Applications of Models of Computation, 2006

Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.

Zaiyue Zhang, Yuefei Sui, Cungen Cao

Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

The Rough Logic and Roughness of Logical Theories.

Cungen Cao, Yuefei Sui, Zaiyue Zhang

Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

2005

Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.

Zaiyue Zhang, Yuefei Sui, Cungen Cao

Proceedings of the Rough Sets, 2005

2004

Fuzzy Reasoning Based on Propositional Modal Logic.

Zaiyue Zhang, Yuefei Sui, Cungen Cao

Proceedings of the Rough Sets and Current Trends in Computing, 2004

2003

Rough Mereology in Knowledge Representation.

Cungen Cao, Yuefei Sui, Zaiyue Zhang

Proceedings of the Rough Sets, 2003

2002

The Contiguity in R/M.

Zaiyue Zhang, Yuefei Sui

J. Comput. Sci. Technol., 2002

2001

Extending the Cooper Minimal Pair Theorem.

Zaiyue Zhang

J. Comput. Sci. Technol., 2001

Local noncuppability in R/M.

Zaiyue Zhang, Yuefei Sui

Sci. China Ser. F Inf. Sci., 2001

1999

The Cupping Theorem in R/M.

Yuefei Sui, Zaiyue Zhang

J. Symb. Log., 1999