Zhenghua Pan

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 2

Top Topics

Quantified Boolean Formulae

Propositional Logic

Top Venues

计算机科学

Publications

Wei Xiang, Hanfei Zhu, Suqi Lou, Xinli Chen, Zhenghua Pan, Yuping Jin, Shi Chen, Lingyun Sun
SimUser: Generating Usability Feedback by Simulating Various Users Interacting with Mobile Applications. CHI (2024)
Cheng Chen, Zhenghua Pan, Yongxi Lv
一类具有3种否定的模糊模态命题逻辑 (Fuzzy Modal Propositional Logic with Three Kinds of Negation). 计算机科学 44 (4) (2017)
Xiaogang Wu, Zhenghua Pan
基于模糊命题逻辑形式系统FLcom的模糊推理及应用 (Fuzzy Reasoning and its Application Based on Fuzzy Propositonal Logic). 计算机科学 42 (Z11) (2015)
Yongxi Lv, Zhenghua Pan
Application of Fuzzy Set FScom in the Evaluation of Water Quality Level. ICSI (2) (2015)
Jiexin Zhao, Zhenghua Pan
Fuzzy Propositional Logic System and Its λ-Resolution. ICIC (2) (2014)
Zhenghua Pan
Three Kinds of Negation of Fuzzy Knowledge and Their Base of Logic. ICIC (2) (2013)
Jiexin Zhao, Zhenghua Pan
Application of the Fuzzy Set with Three Kinds of Negation FScom in the Stock Investment. ICIC (1) (2013)
Zhenghua Pan
Fuzzy Decision Making Based on Fuzzy Propositional Logic with Three Kinds of Negation. ICIC (1) (2013)
Shanshan Wang, Zhenghua Pan, Lei Yang
Fuzzy Decision Making Based on Fuzzy Logic with Contradictory Negation, Opposite Negation and Medium Negation. AICI (2012)
Lei Yang, Zhenghua Pan
Fuzzy Degree and Similarity Measure of Fuzzy Set with Three Kinds of Negations. AICI (1) (2011)
Zhenghua Pan, Lei Yang, Jiang Xu
Fuzzy Set with Three Kinds of Negations and Its Applications in Fuzzy Decision Making. AICI (1) (2011)
Zhenghua Pan, Cen Wang, Lijuan Zhang
Three Kinds of Negations in Fuzzy Knowledge and Their Applications to Decision Making in Financial Investment. ICCCI (2) (2010)
Shengli Zhang, Zhenghua Pan
One New Interpretation of Infinite Valued for Medium Proposition Logic. FSKD (6) (2009)
Cen Wang, Zhenghua Pan
Extended Fuzzy Knowledge Representation with Medium. ICIC (2) (2008)
Zhenghua Pan
A Logic Description on Different Negation Relation in Knowledge. ICIC (2) (2008)
Zhenghua Pan, Shengli Zhang
Differentiation and Processing of Contradictory Knowledge and Opposite Knowledge. FSKD (4) (2007)
Zhenghua Pan, Shengli Zhang
Five Kinds of Contradictory Relations and Opposite Relations in Inconsistent Knowledge. FSKD (4) (2007)
Zhenghua Pan
Relation between Semantic Completeness and Syntax Completeness on General Formal Systems. SKG (2006)
Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu
Valuation Structure. J. Symb. Log. 67 (1) (2002)