Yang Xu

Orcid: 0000-0003-0122-0913

Affiliations:
  • Southwest Jiaotong University, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, China
  • Southwest Jiaotong University, Department of Applied Mathematics, Chengdu, China
  • Southwest Jiaotong Universitay, Intelligent Control Development Center, Chengdu, China


According to our database1, Yang Xu authored at least 240 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.
Inf. Sci., January, 2024

A complementary ratio based clause selection method for contradiction separation dynamic deduction.
Knowl. Based Syst., 2024

2023
Reliability analysis of mobile agent control system with multiple alternative plans.
Soft Comput., December, 2023

A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking.
Inf. Fusion, July, 2023

Fully reusing clause deduction algorithm based on standard contradiction separation rule.
Inf. Sci., April, 2023

Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking.
Knowl. Based Syst., March, 2023

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.
Knowl. Based Syst., 2023

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.
Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

2022
Attention recurrent cross-graph neural network for selecting premises.
Int. J. Mach. Learn. Cybern., 2022

Improving probability selection based weights for satisfiability problems.
Knowl. Based Syst., 2022

Axiom selection over large theory based on new first-order formula metrics.
Appl. Intell., 2022

Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking.
Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, 2022

2021
α-Paramodulation method for a lattice-valued logic L<sub>nF(X)</sub> with equality.
Soft Comput., 2021

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.
Inf. Sci., 2021

A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.
Inf. Sci., 2021

Research on the Minimum Size of Received Signal Strength Difference Localization Network.
Int. J. Comput. Intell. Syst., 2021

A logical reasoning based decision making method for handling qualitative knowledge.
Int. J. Approx. Reason., 2021

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment.
Comput. Intell., 2021

More efficient stochastic local search for satisfiability.
Appl. Intell., 2021

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formal Modeling and Verification of Multi-agent System Based on Timed Automata.
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Formalization and Verification of Cyclic Group.
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule.
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Determination of 3-ary α-resolution in LP(X).
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2020
Verify and measure the quality of rule based machine leaning.
Knowl. Based Syst., 2020

Improving WalkSAT for Random 3-SAT Problems.
J. Univers. Comput. Sci., 2020

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance).
计算机科学, 2020

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic.
Int. J. Comput. Intell. Syst., 2020

Improving probability selecting based weights for Satisfiability Problem.
CoRR, 2020

Focused random walk with probability distribution for SAT with long clauses.
Appl. Intell., 2020

2019
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers.
Symmetry, 2019

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic.
Symmetry, 2019

Further Complete Solutions to Four Open Problems on Filter of Logical Algebras.
Int. J. Comput. Intell. Syst., 2019

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.
Int. J. Comput. Intell. Syst., 2019

A Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment.
Int. J. Comput. Intell. Syst., 2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.
Symmetry, 2018

Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization.
Soft Comput., 2018

Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization.
Soft Comput., 2018

On derivations of linguistic truth-valued lattice implication algebras.
Int. J. Mach. Learn. Cybern., 2018

基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value).
计算机科学, 2018

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).
计算机科学, 2018

On A-subsets in lattice implication algebras.
J. Intell. Fuzzy Syst., 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system.
J. Intell. Fuzzy Syst., 2018

Contradiction separation based dynamic multi-clause synergized automated deduction.
Inf. Sci., 2018

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.
Int. J. Comput. Intell. Syst., 2018

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.
Int. J. Comput. Intell. Syst., 2018

A New Rewarding Mechanism for Branching Heuristic in SAT Solvers.
Int. J. Comput. Intell. Syst., 2018

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
Int. J. Comput. Intell. Syst., 2018

2017
Ideals and fuzzy ideals on residuated lattices.
Int. J. Mach. Learn. Cybern., 2017

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).
计算机科学, 2017

Study on the properties of A-subset.
J. Intell. Fuzzy Syst., 2017

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems.
Int. J. Comput. Intell. Syst., 2017

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Parallel hybrid genetic algorithm for sat problems based on OpenMP.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

A nonlinear programming based universal optimization model of TDOA passive location.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

New terms metric based on substitutions.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Conflicting rate based branching heuristic for CDCL SAT solvers.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Some synergized clause selection strategies for contradiction separation based automated deduction.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2016
2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making.
Knowl. Based Syst., 2016

Interval-Valued Belief Rule Inference Methodology Based on Evidential Reasoning-IRIMER.
Int. J. Inf. Technol. Decis. Mak., 2016

2015
A novel rule base representation and its inference method using the evidential reasoning approach.
Knowl. Based Syst., 2015

语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic).
计算机科学, 2015

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)).
计算机科学, 2015

On lifting quasi-filters and strong lifting quasi-filters in MV-algebras.
J. Intell. Fuzzy Syst., 2015

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X).
J. Intell. Fuzzy Syst., 2015

-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems.
Int. J. Comput. Intell. Syst., 2015

The validity degree vectors of formulae in two-valued predicate logic.
Int. J. Comput. Intell. Syst., 2015

Redefined soft relations and soft functions.
Int. J. Comput. Intell. Syst., 2015

Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications.
Int. J. Comput. Intell. Syst., 2015

A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory.
Int. J. Comput. Intell. Syst., 2015

α-Minimal Resolution Principle For A Lattice-Valued Logic.
Int. J. Comput. Intell. Syst., 2015

GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition.
Int. J. Comput. Intell. Syst., 2015

2-Dimension Linguistic Lattice Implication Algebra.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Flight Operation Quality Assessment Model Based on the Fuzzy Logic Theory.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

The New Directed Hypergraph for CNF Formula of Propositional Logic.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Research on Rural Family Property of Western China and Its Legal Protection.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Tacit Knowledge Mining Algorithm Based on Linguistic Truth-Valued Concept Lattice.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Game Theory with Probabilistic Prediction for Conflict Resolution in Air Traffic Management.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Vague partition.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Stakeholder Analysis of Ecological Environment Protection Projects.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Evaluation of Basic Public Services Quality for Optimizing Customer Satisfaction.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Decision Making Approaches Based on Type 2 Fuzzy Soft Sets.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

A Method for Interval Multi-attribute Decision Making Based on Evidential Reasoning and Third-Generation Prospect Theory.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.
Proceedings of the 10th International Conference on Intelligent Systems and Knowledge Engineering, 2015

On fuzzy filters of CI-algebras.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

2014
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.
Soft Comput., 2014

alpha- Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X).
J. Multiple Valued Log. Soft Comput., 2014

Interval-valued intuitionistic (<i>T</i>, <i>S</i>)-fuzzy filters theory on residuated lattices.
Int. J. Mach. Learn. Cybern., 2014

Interval-valued <i>T</i>-fuzzy filters and interval-valued <i>T</i>-fuzzy congruences on residuated lattices.
J. Intell. Fuzzy Syst., 2014

An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words.
Inf. Sci., 2014

A linguistic multi-criteria decision making approach based on logical reasoning.
Inf. Sci., 2014

<i>α</i>-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic.
Int. J. Comput. Intell. Syst., 2014

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic <i>L</i><sub><i>V</i>(<i>n×</i>2)</sub>P(X).
Int. J. Comput. Intell. Syst., 2014

On (<i>M</i>, <i>N</i>)-<i>S I</i> (implicative) filters in <i>R</i><sub>0</sub>-algebras.
Int. J. Comput. Intell. Syst., 2014

The fuzzy mapping aggregation operator based on rimer and its application.
Int. J. Comput. Intell. Syst., 2014

2013
Multiary α-Resolution Principle for a Lattice-Valued Logic.
IEEE Trans. Fuzzy Syst., 2013

On the algebraic structure of binary lattice-valued fuzzy relations.
Soft Comput., 2013

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic.
J. Intell. Fuzzy Syst., 2013

Approximation operators on complete completely distributive lattices.
Inf. Sci., 2013

<i>IFI</i>-ideals of lattice implication algebras.
Int. J. Comput. Intell. Syst., 2013

A Combination Algorithm of Multiple Lattice-Valued Concept Lattices.
Int. J. Comput. Intell. Syst., 2013

Combination of interval set and soft set.
Int. J. Comput. Intell. Syst., 2013

Determination of 3-Ary <i>α</i>-Resolution in Lattice-valued Propositional Logic LP(X).
Int. J. Comput. Intell. Syst., 2013

Syntax theory of finite lattice-valued propositional logic.
Sci. China Inf. Sci., 2013

Theorey of vector truth degrees of formulas in two-valued predicate logic.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

1-minimal resolution principle based on lattice-valued propositional logic LP(X).
Proceedings of the International Conference on Machine Learning and Cybernetics, 2013

Chairing the ISKE Conference Series (2006-2011).
Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000.
Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

Chairing the FLINS Conference Series (1994-2012).
Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

2012
General form of α-resolution principle for linguistic truth-valued lattice-valued logic.
Soft Comput., 2012

Modelling experts' attitudes in group decision making.
Soft Comput., 2012

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.
Soft Comput., 2012

Linguistic Truth-Valued Intuitionistic Fuzzy Algebra.
J. Multiple Valued Log. Soft Comput., 2012

ChineseWord Semantic Proofing for Special Domain Using Fuzzy Mapping Aggregation Rules.
J. Multiple Valued Log. Soft Comput., 2012

A special issue on new trends in Intelligent Decision Support Systems.
Knowl. Based Syst., 2012

Lattice-valued matrix game with mixed strategies for intelligent decision support.
Knowl. Based Syst., 2012

A linguistic aggregation operator with three kinds of weights for nuclear safeguards evaluation.
Knowl. Based Syst., 2012

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic.
Int. J. Comput. Intell. Syst., 2012

On <i>α</i>-satisfiability and its <i>α</i>-lock resolution in a finite lattice-valued propositional logic.
Log. J. IGPL, 2012

Soft Rough Sets Based on Similarity Measures.
Proceedings of the Rough Sets and Knowledge Technology - 7th International Conference, 2012

2011
A Linguistic-Valued Lattice Implication Algebra Approach for Risk Analysis.
J. Multiple Valued Log. Soft Comput., 2011

Research on the realization method of workflow engine in enterprise information management.
J. Enterp. Inf. Manag., 2011

Determination of α-resolution in lattice-valued first-order logic LF(X).
Inf. Sci., 2011

alpha-resolution method for a lattice-valued first-order logic.
Eng. Appl. Artif. Intell., 2011

Theories and Approaches to Treat Incomparability.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2011

Rough Approximations in General Approximation Spaces.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2011

Soft Lattice Implication Algebras.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

α-group resolution method based on lattice-valued propositional logic LP(X).
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

α - Semantic resolution method in lattice-valued logic.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Intelligent landing control system for civil aviation aircraft with dual fuzzy neural network.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

α-generalized linear resolution method based on lattice-valued propositional logic LP(X).
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Dual Fuzzy Neural Network Control in Civil Aviation Intelligent Landing System.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice.
J. Univers. Comput. Sci., 2010

Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty.
J. Univers. Comput. Sci., 2010

Information Fusion and Logic-based Reasoning Approaches for Decision Making under Uncertainty.
J. Univers. Comput. Sci., 2010

On filter theory of residuated lattices.
Inf. Sci., 2010

Linguistic truth-valued lattice-valued propositional logic system <i>l</i>P(X) based on linguistic truth-valued lattice implication algebra.
Inf. Sci., 2010

A decision method based on uncertainty reasoning of linguistic truth-valued concept lattice.
Int. J. Gen. Syst., 2010

Semantic theory of finite lattice-valued propositional logic.
Sci. China Inf. Sci., 2010

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic.
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

<i>alpha</i>-Satisfiability and <i>alpha</i>-Lock Resolution for a Lattice-Valued Logic LP(X).
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2009
Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations.
Inf. Sci., 2009

Generalized Fuzzy Filters of Lattice Implication Algebras.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

An Identifier-Based Control Method in Dynamic Tracking Neuro-Fuzzy Control System.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
Generalized Fuzzy Filters of MTL-algebras.
J. Multiple Valued Log. Soft Comput., 2008

A Linguistic Lattice-Valued Approach for Fuzzy Multi-Objective Decision Making.
J. Multiple Valued Log. Soft Comput., 2008

A fuzzy model of customer satisfaction index in e-commerce.
Math. Comput. Simul., 2008

A linguistic truth-valued reasoning approach in decision making with incomparable information.
J. Intell. Fuzzy Syst., 2008

Lattice implication ordered semigroups.
Inf. Sci., 2008

Computational Intelligence in Knowledge Engineering.
Int. J. Comput. Intell. Syst., 2008

A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information.
Int. J. Comput. Intell. Syst., 2008

A uniform approach of linguistic truth values in sensor evaluation.
Fuzzy Optim. Decis. Mak., 2008

Some types of generalized fuzzy filters of BL-algebras.
Comput. Math. Appl., 2008

Credit Rating Method with Heterogeneous Information.
Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making.
Proceedings of the Advances in Neural Networks, 2008

Resolution method of six-element linguistic truth-valued intuitionistic propositional logic.
Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008

A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water Heater.
Proceedings of the Fourth International Conference on Natural Computation, 2008

2007
Generalized fuzzy filters of <i>R</i><sub>0</sub>-algebras.
Soft Comput., 2007

Pseudo-BCK algebras and PD-posets.
Soft Comput., 2007

A rough sets based characteristic relation approach for dynamic attribute generalization in data mining.
Knowl. Based Syst., 2007

Filter-based resolution principle for lattice-valued propositional logic LP(<i>X</i>).
Inf. Sci., 2007

BCI-implicative ideals of BCI-algebras.
Inf. Sci., 2007

Redefined fuzzy implicative filters.
Inf. Sci., 2007

An Intelligent Sensory Evaluation Method for Industrial Products Characterization.
Int. J. Inf. Technol. Decis. Mak., 2007

Handling linguistic web information based on a multi-agent system.
Int. J. Intell. Syst., 2007

Erratum to "A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making" [Int. J. Approx. Reasoning 44 (2007) 165-181].
Int. J. Approx. Reason., 2007

A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making.
Int. J. Approx. Reason., 2007

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Sub-algebras of Finite Lattice Implication Algebra.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Semantics Properties of Compound Evaluating Syntagms.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

Congruence Relations Induced by Filters and LI-Ideals.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy Controllers.
Proceedings of the Third International Conference on Natural Computation, 2007

The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural Network.
Proceedings of the Third International Conference on Natural Computation, 2007

Transformation of Linguistic Truth Values During the Sensor Evaluation.
Proceedings of the Fuzzy Information and Engineering, 2007

Probabilistic Fuzzy Hypernear-Rings.
Proceedings of the Fuzzy Information and Engineering, 2007

On Relationships of Filters in Lattice Implication Algebra.
Proceedings of the Fuzzy Information and Engineering, 2007

A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

Decision-Making Based on Case Similarity with Alterable Weights.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

The Layered Fuzzy Clustering Method Based on Distance and Density.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

2006
Interpreting and extracting fuzzy decision rules from fuzzy information systems and their inference.
Inf. Sci., 2006

On the consistency of rule bases based on lattice-valued first-order logic LF(X).
Int. J. Intell. Syst., 2006

Fuzzy logic from the viewpoint of machine intelligence.
Fuzzy Sets Syst., 2006

A fuzzy logic system based on Schweizer-Sklar t-norm.
Sci. China Ser. F Inf. Sci., 2006

A framework of linguistic truth-valued propositional logic based on lattice implication algebra.
Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

2005
Sequential Pattern Mining.
Proceedings of the Intelligent Data Mining: Techniques and Applications, 2005

A study of enterprise human resource competence appraisement.
J. Enterp. Inf. Manag., 2005

Application of fuzzy Naive Bayes and a real-valued genetic algorithm in identification of fuzzy model.
Inf. Sci., 2005

Fuzzy filters of MTL-algebras.
Inf. Sci., 2005

Obtaining a Complex Linguistic Data Summaries from Database Based on a New Linguistic Aggregation Operator.
Proceedings of the Computational Intelligence and Bioinspired Systems, 2005

The Hierarchical Fuzzy Evaluation System and Its Application.
Proceedings of the Advances in Machine Learning and Cybernetics, 2005

On the alterability of rule [data mining].
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

Knowledge discovery for goods classification based on rough set.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

A lattice-valued linguistic-based decision making method.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

A kind of support vector fuzzy classifiers.
Proceedings of the 2005 IEEE International Conference on Granular Computing, 2005

Linguistic Model for the Controlled Object.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004
A two-phase method of approximate string match.
Proceedings of the IEEE International Conference on Systems, 2004

Workflow model of intelligent office information system.
Proceedings of the IEEE International Conference on Systems, 2004

A model for handling linguistic terms in the framework of lattice-valued logic LF(X).
Proceedings of the IEEE International Conference on Systems, 2004

Study on multi-intersected copy replication of DDBS.
Proceedings of the IEEE International Conference on Systems, 2004

Uncertainty reasoning based on lattice-valued first-order logic L<sub>vfl</sub>.
Proceedings of the IEEE International Conference on Systems, 2004

Study on Reduct and Core Computation in Incompatible Information Systems.
Proceedings of the Rough Sets and Current Trends in Computing, 2004

An Algorithm for Mining Lower Closed Itemsets.
Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004

2003
Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability
Studies in Fuzziness and Soft Computing 132, Springer, ISBN: 978-3-642-07279-6, 2003

A resolution-like strategy based on a lattice-valued logic.
IEEE Trans. Fuzzy Syst., 2003

Rule acquisition and adjustment based on set-valued mapping.
Inf. Sci., 2003

ILI-ideals and prime LI-ideals in lattice implication algebras.
Inf. Sci., 2003

Graded consequence relations of lattice-valued propositional logic LP(X).
Proceedings of the IEEE International Conference on Systems, 2003

Multilayered fuzzy clustering method based on distance and density.
Proceedings of the IEEE International Conference on Systems, 2003

Dynamic adaptive fuzzy neural-network identification and its application.
Proceedings of the IEEE International Conference on Systems, 2003

Resolution based on six lattice-valued proposition logic LP<sub>6</sub>(X).
Proceedings of the IEEE International Conference on Systems, 2003

Uncertainty reasoning based on filter of lattice implication algebra.
Proceedings of the IEEE International Conference on Systems, 2003

A clustering application method based on mix type variables in social system appraisement.
Proceedings of the IEEE International Conference on Systems, 2003

The consistency of rule-bases in lattice-valued first-order logic LF(X).
Proceedings of the IEEE International Conference on Systems, 2003

Multiple attributes group decision making under fuzzy environment.
Proceedings of the IEEE International Conference on Systems, 2003

2002
Fuzzy reasoning based on generalized fuzzy If-Then rules.
Int. J. Intell. Syst., 2002

A new fuzzy clustering method based on distance and density.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

alpha-Resolution Principle Based On An Intermediate Element Lattice-Valued Propositional Logic.
Proceedings of the 6th Joint Conference on Information Science, 2002

2001
alpha-Resolution principle based on first-order lattice-valued logic LF(X).
Inf. Sci., 2001

Fuzzy reasoning based on the extension principle.
Int. J. Intell. Syst., 2001

Local relation mapping theory of fuzzy reasoning.
Proceedings of the IEEE International Conference on Systems, 2001

Local relations hold reasoning.
Proceedings of the IEEE International Conference on Systems, 2001

A Method of Uncertainty Reasoning by Using Information.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partition.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

2000
alpha-Resolution principle based on lattice-valued propositional logic LP(X).
Inf. Sci., 2000

A study on fuzzy reasoning mechanism based on extension principle.
Proceedings of the Ninth IEEE International Conference on Fuzzy Systems, 2000

1999
<i>L</i>-Valued Propositional Logic <i>L</i><sub>vpl</sub>.
Inf. Sci., 1999

Lebesgue decomposition theorem for σ-finite signed fuzzy measures.
Fuzzy Sets Syst., 1999


  Loading...